diff --git a/.hgtags b/.hgtags
index 8cc0121a..19121e5a 100644
--- a/.hgtags
+++ b/.hgtags
@@ -151,3 +151,4 @@ f7ab37582e847239eb51250f969adf2e9b53d94a RECOLL_1_20_0
 4f02303357df7c5dc0b94ca67f81c480caf2f0d4 RECOLL_1_19_10
 54bcbacf949752733dde42d3ad6ae48cea6f5c64 RECOLL_1_19_11
 ffebffeb0fe85d9dbc35bd20c24afc7aa625c5b7 RECOLL_1_19_11p1
+5c1e72cfbbd4fc72f9763bb5dc0500a52774368b RECOLL_1_19_12