chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 33c6d55 bd00b87)
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)
Filter another invalid mediawiki page title character

See merge request fdroid/fdroidserver!490


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.