On 25 December 2015 at 14:42, Johan Ouwerkerk <jm.ouwerk...@gmail.com> wrote: > Scratch this? It seems to have arrived just now, finally, having taken > a mere 16 hours and 4 minutes to get there... ?
The GNU list servers occasionally get a bit overloaded and sit on mail for a while... thanks -- PMM
