Merge branch 'master' of github.com:mwarning/yet_another_firmware_selector
authorMoritz Warning <moritzwarning@web.de>
Mon, 8 Jun 2020 18:18:50 +0000 (20:18 +0200)
committerMoritz Warning <moritzwarning@web.de>
Mon, 8 Jun 2020 18:18:50 +0000 (20:18 +0200)

Trivial merge