From c0dfe4e2150b3194349ad8a575c27f7b5d55e8fc Mon Sep 17 00:00:00 2001
From: Michael Raymond <michael_raymond@fastmail.com>
Date: Thu, 14 Oct 2021 08:29:41 +0100
Subject: [PATCH 1/2] Fix import

---
 src/state.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/state.ts b/src/state.ts
index 3889a66..6cc1058 100644
--- a/src/state.ts
+++ b/src/state.ts
@@ -4,7 +4,7 @@ import * as vscode from "vscode"
 import { ExtLanguage } from "./languages"
 import { handleWarning } from "./providers/diagnostics"
 import { VirtualDocInfo } from "./providers/virtual-docs"
-import { loadIpkgFile, extractPkgs } from "./ipkg"
+import { extractPkgs } from "./ipkg"
 
 // I’m not using the Memento API because I don’t want persistence across sessions, and I do want type-safety.
 

From fb24d0571a4c0f9e184e76baf8412196884eecbc Mon Sep 17 00:00:00 2001
From: Michael Raymond <michael_raymond@fastmail.com>
Date: Thu, 14 Oct 2021 08:33:11 +0100
Subject: [PATCH 2/2] Bump extension version

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index a516f55..40534ab 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,10 +1,14 @@
 ## Unreleased
 ### Added
+### Changed
+### Fixed
+
+## 0.0.11
+### Added
 - Syntax highlighting for idris/idris2 code blocks in markdown files.
 - `Idris: Activate Extension` command, to manually activate when working with non-idris files.
 - Support for commands in idris2 blocks in markdown files.
 - Load packages from .ipkg file in Idris 1.
-
 ### Changed
 ### Fixed
 - Support completions for Idris 1 .lidr files.
diff --git a/package-lock.json b/package-lock.json
index df49d92..948f546 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
   "name": "idris-vscode",
-  "version": "0.0.10",
+  "version": "0.0.11",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {
diff --git a/package.json b/package.json
index 7d70456..9eff89c 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.10",
+  "version": "0.0.11",
   "license": "MIT",
   "repository": {
     "type": "git",