--- 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