Merge branch 'master' of github.com:mwarning/yet_another_firmware_selector
authorMoritz Warning <moritzwarning@web.de>
Mon, 17 Feb 2020 13:57:10 +0000 (14:57 +0100)
committerMoritz Warning <moritzwarning@web.de>
Mon, 17 Feb 2020 13:57:10 +0000 (14:57 +0100)

Trivial merge