From 77bb0bf804c7be12e65238e8a0a48fff5195358f Mon Sep 17 00:00:00 2001
From: Michael Raymond <raymond.michael@gmail.com>
Date: Tue, 13 Jul 2021 17:00:01 +0100
Subject: [PATCH 1/2] Update changelog

---
 CHANGELOG.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b084ccc..05fd13a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,8 +1,14 @@
 ## Unreleased
 ### Added
-- Adds more ide support for .lidr files, mainly hover and diagnostics, and some commands.
 ### Changed
 ### Fixed
+
+## 0.0.10
+### Added
+- Adds more ide support for .lidr files: hover, diagnostics and most commands.
+### Changed
+- Updated the IDE process args to handle Idris2 0.4.0, specifically fixes it so it doesn't spew ansi colour codes everywhere.
+### Fixed
 - Fixed a bug where hover would send erroneous typecheck requests that weren't displayed, but slowed down the process.
 
 ## 0.0.9

From 409598237a29373be48310525a567c0530197fd2 Mon Sep 17 00:00:00 2001
From: Michael Raymond <raymond.michael@gmail.com>
Date: Tue, 13 Jul 2021 17:00:14 +0100
Subject: [PATCH 2/2] Bump version

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 715c6b0..4a98985 100644
--- a/package.json
+++ b/package.json
@@ -3,7 +3,7 @@
   "publisher": "meraymond",
   "displayName": "Idris Language",
   "description": "Language support for Idris and Idris 2.",
-  "version": "0.0.9",
+  "version": "0.0.10",
   "license": "MIT",
   "repository": {
     "type": "git",