--- a/.hgtags Tue Sep 19 11:29:27 2017 +0200 +++ b/.hgtags Tue Sep 19 11:29:27 2017 +0200 @@ -7,3 +7,4 @@ 6206a2ae7053d972b7414260ed0045a281c75945 0.1.5 1bdfe52659d7be12d5cdd95868111de3677b5dd7 0.1.5 1a9d8c43dba0ae2853bce9066f0372b4515b4169 0.1.6 +8d80cb67b023e3621d62794cd2b790cd50e88841 0.1.7