Somewhat better behaviour with mixed caps in search
Deal somewhat better with mixed caps in people and notice search.
Showing
Please register or sign in to comment
We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.
Deal somewhat better with mixed caps in people and notice search.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org