Processed: Re: Bug#728480: ipe: calls gedit (hard-coded choice of text editor?)
Debian Bug Tracking System
owner at bugs.debian.org
Tue Nov 5 23:09:06 UTC 2013
Processing control commands:
> reopen -1 =
Bug #728480 {Done: "Steve M. Robbins" <steve at sumost.ca>} [ipe] ipe: calls gedit (hard-coded choice of text editor?)
Bug reopened
Ignoring request to alter fixed versions of bug #728480 to the same values previously set
--
728480: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=728480
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the debian-science-maintainers
mailing list