# HG changeset patch # User Mike Becker # Date 1720721126 -7200 # Node ID 9e483a0e3f52de456bcf4b0498d044f23796066b # Parent 0f1c55d2a90a5faba89756e99155a3f7ab2d8dfe Added tag v3.1 for changeset 0f1c55d2a90a diff -r 0f1c55d2a90a -r 9e483a0e3f52 .hgtags --- a/.hgtags Thu Jul 11 20:05:21 2024 +0200 +++ b/.hgtags Thu Jul 11 20:05:26 2024 +0200 @@ -1,3 +1,5 @@ eba880c1705cf55fa4c6f50e518d6070831e759b Version 2.0 5da2cb5aea6bdb346614c30d63d029deefc22877 v3.0 719e3c6d4c9bcc679c5266562b6efb697bab26f2 v3.1 +719e3c6d4c9bcc679c5266562b6efb697bab26f2 v3.1 +0f1c55d2a90a5faba89756e99155a3f7ab2d8dfe v3.1