Amend last addition to etc/PROBLEMS

diff --git a/etc/PROBLEMS b/etc/PROBLEMS
index 7893e1ce0e60880b2e42e38ff33d3c95a074e2dc..2febd82bd72d5fa61d097e237299fb0a1928e6de 100644 (file)
--- a/etc/PROBLEMS
+++ b/etc/PROBLEMS
@@ -986,7 +986,8 @@ Gtk-CRITICAL **: gtk_distribute_natural_allocation: assertion 'extra_space >= 0'
 
 It's not clear whether the GTK version used has any impact on the
 occurrence of the failure.  So far, the failure has been observed with
-GTK+ versions 3.14.5 and and 3.18.7.
+GTK+ versions 3.4.2, 3.14.5 and 3.18.7.  However, another 3.4.2 build
+does not exhibit the bug.
 
 Some window managers (xfce) apparently work around this failure by
 cropping the menu bar.  With other windows managers, it's possible to
@@ -996,6 +997,11 @@ reported to refuse such attempts and snap back to the width needed to
 show the full menu bar (wmii) or at least cause the screen to flicker
 during such resizing attempts (i3, icewm).
 
+See also http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15700,
+http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22000,
+http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22898 and
+http://lists.gnu.org/archive/html/emacs-devel/2016-07/msg00154.html.
+
 *** Metacity: Resizing Emacs or ALT-Tab causes X to be unresponsive.
 
 This happens sometimes when using Metacity.  Resizing Emacs or ALT-Tab:bing