--- a/.hgtags Wed Jun 26 11:13:45 2019 +0200
+++ b/.hgtags Wed Jun 26 11:13:45 2019 +0200
@@ -3,3 +3,4 @@
27631588832b7e8f7bae54e1b68c53e1eb967469 0.1.2
173d6e8e62e25d9365eabf3cd584beb44dc1a0ab 0.1.3
bea8c4b209aa605c7e6b7e171be980880202c1e2 0.1.4
+15a227cafabbd3800da83f797692dd226481bd4a 0.2.0