--- a/.hgtags	Thu Oct 11 19:36:16 2018 +0200
+++ b/.hgtags	Sat Oct 20 12:11:55 2018 +0200
@@ -5,3 +5,4 @@
 1607450065baeb4b054d77555fcbe047be9b43dd v1.2.0
 d6dea8c17f683874b8e61e94d9d577491feef90d v1.2.1
 4996f8953c3a3ef379da90d353b8d82d8a6d5b98 v1.2.2
+c7bea9ad9d9cc8836505b777e2616fa4ab731671 v1.2.3