Skip to content
GitLab
Commit 00a49dc6 authored by Enrico Zini's avatar Enrico Zini
Browse files

Merge branch 'master' into 'master' 

Searching for people now also matches usernames. Fixes #17.

Closes #17

See merge request !8
parents b900ffac eb2afb08
Pipeline #166540 passed with stage
in 1 minute and 52 seconds