From 03774149782af8661b922dd16920268ccca3d97f Mon Sep 17 00:00:00 2001
From: Ting-Gian LUA <banacorn@gmail.com>
Date: Sun, 3 Oct 2021 23:12:36 +0800
Subject: [PATCH] [ doc ] Bump version to v0.1.2

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

diff --git a/package.yaml b/package.yaml
index 2211809..2fda2ce 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name:                agda-language-server
-version:             0.1.1
+version:             0.1.2
 github:              "banacorn/agda-language-server"
 license:             MIT
 author:              "Ting-Gian LUA"