Fix WS

diff --git a/INSTALL b/INSTALL
index 3fcdb5c68c800787b592204f31fcf68ad3446471..43a15ee2c9eaf278ff80b42c9535431dea81ef21 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -452,4 +452,3 @@ or the manual has a bug, so report the disagreement.  If you find any
 errors or omissions in this manual, please report them to the bug
 database.  If you refer to specific sections of the manual, please
 include the section names for easier identification.
-