Bump version

meraymond2 · Jun 23, 2020 · dd5be05 · dd5be05
1 parent 0e6e253
commit dd5be05
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,4 @@
-## Unreleased
+## v0.1.2
 ### Added
 - Support for connecting to an Idris process over sockets.
 

diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "idris-ide-client",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "description": "A library for talking to the Idris IDE.",
   "keywords": [
     "idris"