mirror of
https://github.com/google/nomulus
synced 2026-08-02 05:16:08 +00:00
This means we don't have to load all users and filter them out later. In practice this doesn't matter because the user table is relatively small (a few hundred) but 1. who knows what can happen in the future? 2. this makes the code analysis tools happier