This repository has been archived on 2024-06-09. You can view files and clone it, but cannot push or open issues/pull-requests.

jsgoldstein 18f092d927 Fix translations for changing theme (#25340)		2023-06-08 17:12:41 +02:00
..
appearance	Fix translations for changing theme (#25340)	2023-06-08 17:12:41 +02:00
notifications	Change user settings to be stored in a more optimal way (#23630)	2023-03-30 14:44:00 +02:00
other	Change user settings to be stored in a more optimal way (#23630)	2023-03-30 14:44:00 +02:00