Merge pull request 'extend log filter' (#540) from filter-logs into main

Reviewed-on: #540
2024-05-22 23:42:19 +02:00
parent da56723909 f6d8c07c08
commit 97b0ae83a9
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]",
            ]