[ doc ] Bump version to v0.1.2

banacorn · banacorn · commit 03774149782a · 2021-10-03T23:12:36.000+08:00
diff --git 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"
