> 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
> 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