Claire dd76bbf8b7
Fix WebUI notification settings for new user and new report notifications (#19436)
Due to an error in operator priority, those settings would only show up if the
user role included the all-encompassing `administrator` permission and would
display `0` otherwise.
2022-10-24 17:37:46 +02:00
..
2022-10-24 00:46:35 +09:00
2017-09-30 04:29:56 +02:00
2020-11-23 17:35:14 +01:00