From 4ca525a57602883109bf927d97ffbb782e389ae3 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Fri, 23 Feb 2018 15:57:23 +0000
Subject: test commit

---
 README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README b/README
index d9fd69d1..934966d7 100644
--- a/README
+++ b/README
@@ -1,6 +1,6 @@
 Sail README
 
-[Note that this describes the original Sail language, on the github master branch.  The current development version, on the github sail2 branch, is somewhat different; documentation for that is in progress]
+[Note that this describes the original Sail language, on the github master branch.  The current development version, on the github sail2 branch, is somewhat different; documentation for that is in progress] 
 
 
 Kathryn E. Gray and Peter Sewell
-- 
cgit v1.2.3