Re: [devpi-dev] Fix for pip 8.1.2