--- a/.hgtags	Tue Oct 23 12:10:39 2018 +0200
+++ b/.hgtags	Tue Oct 23 12:10:39 2018 +0200
@@ -23,3 +23,4 @@
 1af8bc5964691fac12c2a873c556a2961279fa2e 0.1.20
 82d29eb1eb11050ccd0794cd530dcacbdf554d28 0.1.21
 fd4b666b50481edad38ee08ca8e1e12389e99ea4 0.1.22
+3a3770308130c2b2810fa0372e5421d1176a9300 0.1.23