tree 3e62398b7c5e1d9068940e25c3713c8ed9448fcd
parent c5b0e23490478b4e5d22335d7015f40a8c187518
parent a84df061609ed937c0bbc45491fd352d62caa0fc
author Jonathan Nieder <jrn@google.com> 1559665695 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1559665695 +0000

Merge "platform_utils_win32: remove an unnecessary workaround"