Thibaut Girka e9f0c31dc6 Fix tabs bar on mobile ... Fixes #1037		2019-05-08 00:32:53 +02:00
..
glitch	Fix tabs bar on mobile	2019-05-08 00:32:53 +02:00
vanilla	Fix settings/flavours	2019-03-16 16:21:20 +01:00