> Ok, thanks. Dominik, could you get this in git so that it's in sync with
> the archive?

Yep, it is on my todo list for tomorrow morning.

-nik

Reply via email to