> btw, the mailing list also seems to change a few months ago - I used
> to get digests, now it comes as individual posts.

Yes, we disabled digests – it was announced on the mailing lists,
though (in February).


    Werner

Reply via email to