I wrote:

> [ stuff that should have gone to -newmaint ]

Lack of sufficient sleep tends to do that to people. Sorry.

-- 
Matthias Urlichs

Reply via email to