*** empty log message ***

diff --git a/BUGS b/BUGS
index d78f0d71b0e86702b9ea46f3cf86999213855307..91a345dc0792f728335d60a22446abd90e88b76b 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -22,3 +22,5 @@ not part of the Emacs distribution.)
 (3) By hand.  Do
     cat info/emacs* | more "+/^File: emacs,  Node: Bugs,"
 
+Please first check the file etc/PROBLEMS (e.g. with C-h P in Emacs) to
+make sure it isn't a known issue.