Add search to users
closes #3 (closed)
Merge request reports
Activity
This is behaving exactly as I expect, good work!
I think it's clear to merge if @maxf is also happy with it
mentioned in commit 27a678a1
Please register or sign in to reply
closes #3 (closed)
Sorry, that's me on the back end, will fix that
I am happy
Thanks! Should I merge it or someone else?
merged