Fix menu bug on smartphones
authorBenjamin Auder <benjamin.auder@somewhere>
Sat, 22 Dec 2018 21:59:28 +0000 (22:59 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Sat, 22 Dec 2018 21:59:28 +0000 (22:59 +0100)

No differences found