diff options
author | bors-servo <servo-ops@mozilla.com> | 2021-02-25 14:28:24 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-25 14:28:24 -0500 |
commit | 6e1350f3aa69750afa3bd76ca085deb90a56d980 (patch) | |
tree | 9be81eb759ff29b67880ae74c007750bb70cc163 /python/servo/packages.py | |
parent | 30f927f67b797a7c891407a9d73252ce4ee7ac3d (diff) | |
parent | 47fc8f9697a9f9ab73b7196be41e5228d914c415 (diff) | |
download | servo-6e1350f3aa69750afa3bd76ca085deb90a56d980.tar.gz servo-6e1350f3aa69750afa3bd76ca085deb90a56d980.zip |
Auto merge of #27647 - jdm:build-std, r=SimonSapin
Use build-std instead of xargo.
The changes to num-integer and indexmap are to work around https://github.com/cuviper/autocfg/issues/34.
Diffstat (limited to 'python/servo/packages.py')
-rw-r--r-- | python/servo/packages.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/python/servo/packages.py b/python/servo/packages.py index 6a7b375964f..7e0f9bd5d03 100644 --- a/python/servo/packages.py +++ b/python/servo/packages.py @@ -11,5 +11,4 @@ WINDOWS_MSVC = { "openssl": "111.3.0+1.1.1c-vs2017-2019-09-18", "gstreamer-uwp": "1.16.0.5", "openxr-loader-uwp": "1.0", - "xargo": "v0.3.22", } |