Bug#269927: coqide segfaults on startup

[Duraid Madina]

Apologies, but I lost access to the IA64 workstation on which I saw that 
bug. Sorry to bother everyone, but I guess it's best to close this bug. 
If I run into it again in the future, I'll try to fix it myself.

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