Eugen Rochko c56e6fd7a1 Add option to disable real-time updates in web UI (#9984) ... Fix #9031 Fix #7913		2019-07-16 16:11:50 +02:00
..
appearance	Add option to disable real-time updates in web UI (#9984)	2019-07-16 16:11:50 +02:00
notifications	Change preferences page into appearance, notifications, and other (#10977)	2019-06-07 03:39:24 +02:00
other	Merge branch 'master' into glitch-soc/merge-upstream	2019-06-10 20:09:05 +02:00