X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;h=b1166b20b6b6b423218fe98184c04a4722f2c130;hb=13b7589356394e01a5e1d7e8d366e3a105091e46;hp=2ab967c2b858eee1d6f6176b64b1c414d78d30b3;hpb=6ee30c166727634ef579354e29eff96f70675418;p=pspp

diff --git a/INSTALL b/INSTALL
index 2ab967c2b8..b1166b20b6 100644
--- a/INSTALL
+++ b/INSTALL
@@ -90,6 +90,8 @@ use the GUI, you must run `configure' with --without-gui.
       but other versions should be fine.
 
     * GTK+ (http://www.gtk.org/), version 3.14.5 or later.
+      It has been reported that versions prior to 3.22.x give problems,
+      so a recent version is recommended.
 
     * GtkSourceView (http://projects.gnome.org/gtksourceview/) 
       version 3.4.0 or later.