Merge pull request 'extend filter' (#660) from add-filter into main

Reviewed-on: #660
2024-07-29 14:27:22 +02:00 · 2024-07-29 14:27:22 +02:00 · 0dd10e1dd6
commit 0dd10e1dd6
parent db318c23cd def8028446
1 changed files with 1 additions and 0 deletions
--- a/src/model/user.rs
+++ b/src/model/user.rs
@ -735,6 +735,7 @@ ORDER BY last_access DESC
            if ![
                "n-sageder",
                "p-hofer",
+                "marie-birner",
                "daniel-kortschak",
                "rudernlinz",
                "m-birner",