Merge branch 'master' of github.com:mwarning/yet_another_firmware_selector
authorMoritz Warning <moritzwarning@web.de>
Mon, 2 Mar 2020 12:20:00 +0000 (13:20 +0100)
committerMoritz Warning <moritzwarning@web.de>
Mon, 2 Mar 2020 12:20:00 +0000 (13:20 +0100)

Trivial merge