--- a/.hgtags Wed Jul 12 17:45:40 2017 +0200 +++ b/.hgtags Wed Jul 12 17:45:40 2017 +0200 @@ -1,2 +1,3 @@ 980ffaa51a75698a4937c4577370c64e8cdc7da3 0.1.0 4d310730cd7127c8f7f92c28276f04004884fa37 0.1.1 +97d056a73504f36f1f4be49ddddaec31282c11e7 0.1.2