From 13b7589356394e01a5e1d7e8d366e3a105091e46 Mon Sep 17 00:00:00 2001
From: John Darrington <john@darrington.wattle.id.au>
Date: Fri, 6 Jul 2018 14:13:58 +0200
Subject: [PATCH] Recommend Gtk+ version 3.22 or later.

Adresses concern in bug #52500

* INSTALL: Add a comment about GTK+ version
---
 INSTALL | 2 ++
 1 file changed, 2 insertions(+)

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.
-- 
2.30.2