On 12 October 2017 at 19:01, Dirk Eddelbuettel <e...@debian.org> wrote:
> So we did this 71 times, but stopped 4+ years ago.  Not sure what got the
> toolchain coughing, but I guess we could try again.

That would be great, thanks!

Reply via email to