Merge pull request 'filter-logs' (#539) from filter-logs into staging

Reviewed-on: #539
2024-05-22 23:42:06 +02:00 · 2024-05-22 23:42:06 +02:00 · 972811c2cf
commit 972811c2cf
parent e22d2d718e f6d8c07c08
1 changed files with 1 additions and 0 deletions
--- a/src/model/user.rs
+++ b/src/model/user.rs
@ -733,6 +733,7 @@ ORDER BY last_access DESC
                "n.sageder",
                "a.almousa",
                "p.hofer",
+                "philipp-hofer",
                "d.kortschak",
                "[login]",
            ]