tree acb3cee2e046fb06aedbf97f7959d4b58689b374
parent ed53973aea4d89ba94f49ed85866967b6a0cdc3a
author Philipp Wollermann <philwo@google.com> 1521759095 +0100
committer Philipp Wollermann <philwo@google.com> 1521759198 +0100

Use 8 Windows CI VMs instead of 4.