From 964fdef991e9d0744953cc5d340cbad614769bd3 Mon Sep 17 00:00:00 2001
From: Michael Raymond <raymond.michael@gmail.com>
Date: Wed, 23 Dec 2020 13:04:01 +0000
Subject: [PATCH] Bump version

---
 CHANGELOG.md | 7 ++++++-
 package.json | 4 ++--
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 4b39669..6168a43 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,8 +1,13 @@
 ## Unreleased
 ### Added
 ### Changed
+### Fixed
+
+## 0.0.7
+### Added
+### Changed
 - Trim leading `?` so hover can show types of metavariables.
-- Bump client version to 0.1.4, which has better Idris 2 support.
+- Bump idris-ide-client version to 0.1.4, which has better Idris 2 support.
 ### Fixed
 - Fix a bug where extension would prompt for reload on _any_ config change.
 - Workaround a bug in Idris 2 where it would mangle messages based on a mis-inferred terminal width.
diff --git a/package.json b/package.json
index f1832b2..0971b23 100644
--- a/package.json
+++ b/package.json
@@ -2,8 +2,8 @@
   "name": "idris-vscode",
   "publisher": "meraymond",
   "displayName": "Idris Language",
-  "description": "Idris language support.",
-  "version": "0.0.6",
+  "description": "Language support for Idris and Idris 2.",
+  "version": "0.0.7",
   "license": "MIT",
   "repository": {
     "type": "git",