Merge branch 'master' of github.com:mwarning/yet_another_firmware_selector
authorMoritz Warning <[email protected]>
Sat, 23 May 2020 22:52:29 +0000 (00:52 +0200)
committerMoritz Warning <[email protected]>
Sat, 23 May 2020 22:52:29 +0000 (00:52 +0200)

Trivial merge