Jesse Pretorius e79314ecd4 Pin get-pip.py to 3.2
As get-pip.py evolves based on pip 10, while we're still using
pip 9, changes in the way it can be used are causing problems.

For example, the ability to use --download is no longer there.

As such, let's pin to a known good version and leave it at that
until we no longer need to use this script. Version 3.2 maps to
pip 7.1.2 which fulfills our needs.

Change-Id: I2a49a407e82c23540cd0aff209bd276c8a303bf0
Closes-Bug: 1779534
2018-07-04 08:22:51 +00:00
..
2018-04-11 13:36:03 +02:00
2018-04-11 13:52:26 +02:00
2018-07-04 08:22:51 +00:00