Merge branch '68137-master-prevent-removing-all-dots-in-filename' of https://github...
authorAndrew Nicols <andrew@nicols.co.uk>
Fri, 22 May 2020 03:53:22 +0000 (11:53 +0800)
committerAndrew Nicols <andrew@nicols.co.uk>
Fri, 22 May 2020 03:53:22 +0000 (11:53 +0800)

Trivial merge