--- a/.hgtags Fri Oct 13 10:02:09 2017 +0200 +++ b/.hgtags Fri Oct 13 10:02:09 2017 +0200 @@ -3,3 +3,4 @@ 97d056a73504f36f1f4be49ddddaec31282c11e7 0.1.2 97a3f8ea2601a454ae20a641d09769c70c0bc962 0.1.3 7657bccb1bdb8c7314666576c6dda3ac1358c259 0.1.4 +fea1fe09dd19797574ee181fe5607ab4d079a65b 0.1.5