diff -r 8a86ace6286c -r d8f0ec177ecc .hgtags
--- a/.hgtags	Wed Dec 05 16:39:36 2018 +0100
+++ b/.hgtags	Wed Dec 05 16:39:49 2018 +0100
@@ -10,3 +10,5 @@
 a6c84f9c03d3fdcff019e017e3afa45c4b73db19 0.1.1
 0000000000000000000000000000000000000000 0.1.2
 85506e4365c584b9fc497bf218499c989e2752a8 0.1.2
+0000000000000000000000000000000000000000 0.1.3
+0c3173d06f3f75a2c7a795917755c37afc1bb960 0.1.3