needinfo canceled: [Bug 635319] [abrt] pgadmin3-1.10.5-1.fc13: raise: Process /usr/bin/pgadmin3 was killed by signal 6 (SIGABRT)

[bugzilla at redhat.com]

Product: Fedora
Version: 13
Component: pgadmin3

Mathieu Bridon <bochecha at fedoraproject.org> has canceled Bug Zapper
<triage at lists.fedoraproject.org>'s request for needinfo:
Bug 635319: [abrt] pgadmin3-1.10.5-1.fc13: raise: Process /usr/bin/pgadmin3 was
killed by signal 6 (SIGABRT)
https://bugzilla.redhat.com/show_bug.cgi?id=635319

------- Additional Comments from Mathieu Bridon <bochecha at fedoraproject.org>
I don't use Fedora 13 any more, nor have I used pgadmin in Fedora 15 yet.

Sine I never could reproduce it, I'd say this bug can safely be closed, worst
case I'll reopen it if it happens again.