diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-27 13:03:55 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-27 13:03:55 -0500 |
commit | 40c8e422577fadfbcc308a34cde4aa111ea9cfd0 (patch) | |
tree | 78104bc4de1e84d2b61977319b95eb6fcd8c9038 /components/script/dom/navigator.rs | |
parent | a020522f37241001b01ee77dab562d50b6e7a924 (diff) | |
parent | 5ebccf22f54a6d49a429e1039e7bbda57fc4b3ab (diff) | |
download | servo-40c8e422577fadfbcc308a34cde4aa111ea9cfd0.tar.gz servo-40c8e422577fadfbcc308a34cde4aa111ea9cfd0.zip |
Auto merge of #24888 - servo:jdm-patch-31, r=SimonSapin
Update Git for Windows on CI.
There have been cygwin improvements since the version we are currently using, which I'm hoping might address #22212.
Diffstat (limited to 'components/script/dom/navigator.rs')
0 files changed, 0 insertions, 0 deletions