I have just opened a bug against gedit in the Gnome project bugzilla:
https://bugzilla.gnome.org/show_bug.cgi?id=689621
The patch proposed by "Sabina Jung" is attached there as well.
** Bug watch added: GNOME Bug Tracker #689621
https://bugzilla.gnome.org/show_bug.cgi?id=689621
--
You recei
Public bug reported:
Binary package hint: gnome-nettool
The ping tool has two options:
(i) do at most N ping requests, or
(ii) do an unlimited number of ping requests
But, when selecting the second option, only 999 ping requests are done
at most, not an unlimited number.
ProblemType: Bug
** Attachment added: "Dependencies.txt"
http://launchpadlibrarian.net/12699165/Dependencies.txt
** Attachment added: "ProcMaps.txt"
http://launchpadlibrarian.net/12699166/ProcMaps.txt
** Attachment added: "ProcStatus.txt"
http://launchpadlibrarian.net/12699167/ProcStatus.txt
--
In the