diff -r 0c7bead9f062 -r e5362fa4f57a .hgtags --- a/.hgtags Mon Jun 11 16:00:45 2018 +0200 +++ b/.hgtags Mon Jun 11 16:00:45 2018 +0200 @@ -13,3 +13,4 @@ 2ed1f847c318ccbb6de5bef7b07f0839c7088389 0.1.12 f58edd0e42b81a43ecbf18e6641188a6baed6a8a 0.1.13 6de807f76c67fe21c7dc8cccca5fc83823c848e2 0.1.14 +0c7bead9f062af03bea959e1e0dc363a829c527f 0.1.15