Re: [devpi-dev] devpi-server-2.5.2: fix for 2.5.1 regression