From 5d7c77ae029de273724248105f416d57983631b2 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Mon, 19 Sep 2016 18:27:16 +0200
Subject: Bump version number for next release cycle.

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

(limited to 'README.md')

diff --git a/README.md b/README.md
index 60e14045..9933c16a 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ Proof General is a generic Emacs interface for proof assistants.
 The aim of the Proof General project is to provide a powerful, generic
 environment for using interactive proof assistants.
 
-This is version 4.4 of Proof General.
+This is version 4.4.1~pre of Proof General.
 
 ## Setup
 
-- 
cgit v1.2.3