Merge pull request #9200 from annando/global-direction
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Mon, 14 Sep 2020 12:10:43 +0000 (14:10 +0200)
committerGitHub <noreply@github.com>
Mon, 14 Sep 2020 12:10:43 +0000 (14:10 +0200)
Improve "direction" icons on "vier", new direction "global"


Trivial merge