--- a/.hgtags Fri Oct 13 10:02:09 2017 +0200
+++ b/.hgtags Fri Oct 13 10:02:09 2017 +0200
@@ -3,3 +3,4 @@
97d056a73504f36f1f4be49ddddaec31282c11e7 0.1.2
97a3f8ea2601a454ae20a641d09769c70c0bc962 0.1.3
7657bccb1bdb8c7314666576c6dda3ac1358c259 0.1.4
+fea1fe09dd19797574ee181fe5607ab4d079a65b 0.1.5