Merge pull request #21259 from demeritcowboy/better-file
authorEileen McNaughton <emcnaughton@wikimedia.org>
Fri, 27 Aug 2021 02:01:25 +0000 (14:01 +1200)
committerGitHub <noreply@github.com>
Fri, 27 Aug 2021 02:01:25 +0000 (14:01 +1200)
dev/core#2789 - Filename is not non-english-friendly in print/merge document


Trivial merge