Bug#489204: gnome-inform7: search sometimes consumes all available time and space

[Norman Ramsey]

 > * Norman Ramsey <nr at eecs.harvard.edu> [2008-07-03 19:05]:
 > > Package: gnome-inform7
 > > Version: 5T18-ubuntu1
 > 
 > Is this package also in Debian?  (I cannot find it)  If not, please
 > report this to Ubuntu instead.

Argh.  I downloaded the .deb from a web site.  I have searched Debian,
and although I think the package ought to be in Debian, apparently it
is not.

I don't know how to report a bug to Ubuntu, and in any case I think
the Ubuntu version is substantially out of date.  But the bug report
should have reached the upstream developer, so it may do some good.


Norman