Merge pull request #9972 from MrPetovan/task/9971-frio-default-theme
authorMichael Vogel <icarus@dabo.de>
Tue, 2 Mar 2021 18:32:05 +0000 (19:32 +0100)
committerGitHub <noreply@github.com>
Tue, 2 Mar 2021 18:32:05 +0000 (19:32 +0100)
Make frio the default theme


Trivial merge