Update changelog.txt and VERSION for release 1.1.2

mernst · Jun 30, 2017 · 35c69d6 · 35c69d6
1 parent 7626f9f
commit 35c69d6
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/docs/VERSION b/docs/VERSION
@@ -1 +1 @@
-1.1.1
+1.1.2
diff --git a/docs/changelog.txt b/docs/changelog.txt
@@ -5,6 +5,15 @@ by cloning its repository; run:
 
 ===========================================================================
 
+plume-lib 1.1.2, released June 30, 2017
+
+Add a new plume-core.jar target, which is substantially smaller than
+plume.jar.
+
+Many other bug fixes and minor enhancements, but no major new features.
+
+===========================================================================
+
 plume-lib 1.1.1, released January 2, 2017
 
 The plume-lib homepage has moved to https://mernst.github.io/plume-lib/