--- a/.hgtags	Tue Nov 20 09:08:25 2018 +0100
+++ b/.hgtags	Tue Nov 20 09:08:25 2018 +0100
@@ -23,3 +23,4 @@
 fcecd9234dea0ec9c28f9088a3bb54b128ebb813 0.1.20
 659c6a416426a275b911581121f2f72377c97afe 0.1.21
 b70a42b5a923540aa16d18863f5a7f17c0b3506e 0.1.22
+fa048337f37247c7ff53b09db6ca21a7bc886f7e 0.1.23