From: John Darrington Date: Thu, 30 Jan 2014 08:23:51 +0000 (+0100) Subject: Remove Gtk-2.22 bug workaround. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7dade12742b9b957277e0d6c5a9e4d578d71597e;hp=7dade12742b9b957277e0d6c5a9e4d578d71597e;p=pspp Remove Gtk-2.22 bug workaround. Since we now depend on Gtk+2.24, this workaround is no longer relevant ---