Bug#276293: Bug has died

[Andreas Feldner]

Hi,

the bug died unnoticed by his (few?) friends. Probably with artsd 1.5...

Cheers,
Andreas.



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]