tree e1122406d42e398035de6590c8dcffafa2786a62
parent c4b65f3bc7b05e4377de97997eab080bd6ef8c14
author Philipp Wollermann <philwo@google.com> 1519228939 +0100
committer Philipp Wollermann <philwo@google.com> 1519228939 +0100

bazelci.py: Fix label to path conversion on Windows.