Merge branch 'master' of github.com:mwarning/yet_another_firmware_selector
authorMoritz Warning <[email protected]>
Mon, 2 Mar 2020 12:20:00 +0000 (13:20 +0100)
committerMoritz Warning <[email protected]>
Mon, 2 Mar 2020 12:20:00 +0000 (13:20 +0100)

Trivial merge