diff -r 00dec67cd49e -r bd5143e87b1d .hgtags
--- a/.hgtags	Mon Jun 11 17:30:43 2018 +0200
+++ b/.hgtags	Mon Jun 11 17:30:43 2018 +0200
@@ -1,2 +1,3 @@
 b90ce037f872fee517fc4e2624e2b0d58828e71c 0.1.0
 fb200c11a230b7d85b1fd1e4a54fe9c83d607a4d 0.1.1
+00dec67cd49e8705098bb0e946f1ac90c2129777 0.1.2