1 files changed, 2 insertions, 0 deletions

diff --git a/README b/README
index c4e23dba..fcd61bed 100644
--- a/README
+++ b/README
@@ -43,3 +43,5 @@ at: http://proofgeneral.inf.ed.ac.uk
 
 David Aspinall <da+pg-feedback@inf.ed.ac.uk>
 April 2010.
+
+