--- a/.hgtags Wed Jul 12 14:17:54 2017 +0200
+++ b/.hgtags Wed Jul 12 14:17:54 2017 +0200
@@ -3,3 +3,4 @@
8c6c68da351a9519a7be14e23ee5d14a1c25504b 0.1.2
cdc30169fac1e436108a00982b1b065eaade747b 0.1.3
b891b49b1d3f69cc6758dd15773abbc353de1d0e 0.1.4
+4cbe2708a397ad1abc544239f885c3734e422f13 0.1.5