--- a/docs/HISTORY.txt Mon Sep 11 13:37:54 2017 +0200
+++ b/docs/HISTORY.txt Mon Sep 11 15:01:55 2017 +0200
@@ -1,6 +1,10 @@
History
=======
+0.1.2
+-----
+ - updated maps manager header
+
0.1.1
-----
- changed area selection behaviour to match default configuration