chiark / gitweb /
Merge branch 'wiki-page-name' into 'master'
authorMarcus <bubu@bubu1.eu>
Wed, 11 Apr 2018 13:35:42 +0000 (13:35 +0000)
committerMarcus <bubu@bubu1.eu>
Wed, 11 Apr 2018 13:35:42 +0000 (13:35 +0000)
commiteec005ed670a22b9d6321200fc3c530b7b4d13bb
treed8be4f82a31f5793756d444a47deb8ab6bc0e417
parent33c6d5570e2b6c569a1f3dcbcfe9d17fdfd4b58c
parentbd00b87e4e43f120866737d4483a5a95d6edd4ee
Merge branch 'wiki-page-name' into 'master'

Filter another invalid mediawiki page title character

See merge request fdroid/fdroidserver!490