ports/x11/gnome/gedit/patches
