From 2c04bd925c783fe7525d7fc99d7c2268b96e7116 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Pit-Claudel?= <clement.pitclaudel@live.com>
Date: Thu, 1 Jul 2021 18:51:54 -0400
Subject: [PATCH] alectryon: Release version 1.1

---
 alectryon/__init__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/alectryon/__init__.py b/alectryon/__init__.py
index d86ae192..6896b6c1 100644
--- a/alectryon/__init__.py
+++ b/alectryon/__init__.py
@@ -20,6 +20,6 @@
 
 """Annotate segments of Coq code with responses and goals."""
 
-__version__ = "1.0"
+__version__ = "1.1"
 __author__ = 'Clément Pit-Claudel'
 GENERATOR = "Alectryon"