Merge "Avoid invalid file name, preventing git clone on win32"

This commit is contained in:
Zuul
2020-08-26 19:22:27 +00:00
committed by Gerrit Code Review