[devpi-dev] Re: yet another devpi maintenance question