*** empty log message ***

1 files changed, 2 insertions, 0 deletions

diff --git a/coq/BUGS b/coq/BUGS
index 1cf1027b..8dfe90f9 100644
--- a/coq/BUGS
+++ b/coq/BUGS
@@ -20,3 +20,5 @@ rely too much on the etags mechanism.
 ** Surely others that aren't mentioned here...
   
 Please report them to da+pg-bugs@inf.ed.ac.uk
+
+** C-c C-a C-i on long intro lines breaks line the wrong way.
\ No newline at end of file