diff -r 8c78078cd105 -r 4e2d5ad1ea43 docs/HISTORY.txt
--- 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