--- a/.hgtags Wed Jan 31 17:26:58 2018 +0100
+++ b/.hgtags Wed Jan 31 17:26:58 2018 +0100
@@ -3,3 +3,4 @@
4e2d5ad1ea4389eb829b69fa2f71a822d58b31be 0.1.2
aa02c3117e2c145c3862f12a148f8f0b3dfaa3dd 0.1.3
c37cd95ae7d0d8f4e597cb47d351cbd3e68653a5 0.1.4
+20bbf3a5a0b4c1ed9f1de67ef7b521cfcb3161a0 0.1.5