# HG changeset patch
# User Sjoerd Mullender <sjoerd@acm.org>
# Date 1737106503 -3600
# Node ID b796d4a3c542d2b1814221d30f1822afb7e0ff65
# Parent  1a4014a0c0c8751c5a5ea9e1205f1aea22c9188b
Settings tag v12.0.

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -8,3 +8,4 @@ bc39810b3faa4c52ce63b29147075e91266a3e84
 a80b5db244b8ceeea936770b9c5f314d46251fb3 v3.1
 fd66573f88946b488e4f1f26db624d8f370aa5a8 v3.2
 843f7d03540ab1170ce80d9e89993235b45d3ff9 v3.3
+1a4014a0c0c8751c5a5ea9e1205f1aea22c9188b v12.0