Re: substitutes mirror of 0.9.0 packages

[Pjotr Prins]

On Sun, Dec 20, 2015 at 10:42:47PM +0100, Ludovic Courtès wrote:
> Thanks for setting up the server!

Wow. Different experience! Looking forward to the new substitute
server. How far are we with funding?

Pj.