changeset 961:b796d4a3c542

Settings tag v12.0.
author Sjoerd Mullender <sjoerd@acm.org>
date Fri, 17 Jan 2025 10:35:03 +0100 (2 months ago)
parents 1a4014a0c0c8
children 588fb75e6155
files .hgtags
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags
+++ b/.hgtags
@@ -8,3 +8,4 @@ bc39810b3faa4c52ce63b29147075e91266a3e84
 a80b5db244b8ceeea936770b9c5f314d46251fb3 v3.1
 fd66573f88946b488e4f1f26db624d8f370aa5a8 v3.2
 843f7d03540ab1170ce80d9e89993235b45d3ff9 v3.3
+1a4014a0c0c8751c5a5ea9e1205f1aea22c9188b v12.0