From e741626acf19a25fa9a2c5ed4b731dfcb71d7fa4 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 8 Mar 2007 18:13:16 +0000
Subject: *** empty log message ***

---
 coq/BUGS | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
cgit v1.2.3