Eugen Rochko 729723f857 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