--- a/.hgtags Wed Jun 07 10:54:44 2017 +0200 +++ b/.hgtags Wed Jun 07 10:54:51 2017 +0200 @@ -1,3 +1,4 @@ f25326715002d949b7c31bb9df82183b4acfd65a 0.1.0 21b836971c5667949828b6c37221a20cd8729976 0.1.1 dc24c94058dabb22fc2aa21bb53c97e7d49e91be 0.1.2 +874cc61186345a33878746fc6ecfe5540577650f 0.1.3