--- a/.hgtags	Thu Dec 05 19:44:27 2019 +0100
+++ b/.hgtags	Sat Dec 07 14:16:25 2019 +0100
@@ -68,3 +68,4 @@
 f434af227a41817f85e3be2eb88c15a30a27edd0 release-19.09
 7eb04391adf788f1455853a71f4fd7565a0b0e5d release-19.10
 cd8ee889589fe07d988d0ead97c61a455929e0e8 release-19.11
+dd3dea7c4d5fde8d3b333b676674c68658036349 release-19.12