** Bug watch removed: GNOME Bug Tracker #75861 http://bugzilla.gnome.org/show_bug.cgi?id=75861
** Bug watch added: GNOME Bug Tracker #371188 http://bugzilla.gnome.org/show_bug.cgi?id=371188 -- gedit don't detect extern file modification https://launchpad.net/bugs/16661 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
