# HG changeset patch # User Mike Becker # Date 1720719055 -7200 # Node ID ccc41b180db77bf0582d29a772939b96487a1c15 # Parent 44c7423d6ce28a8af07efc1cb6addf50939cee1d Added tag v3.1 for changeset 44c7423d6ce2 diff -r 44c7423d6ce2 -r ccc41b180db7 .hgtags --- a/.hgtags Wed Jul 10 21:57:53 2024 +0200 +++ b/.hgtags Thu Jul 11 19:30:55 2024 +0200 @@ -1,2 +1,3 @@ eba880c1705cf55fa4c6f50e518d6070831e759b Version 2.0 5da2cb5aea6bdb346614c30d63d029deefc22877 v3.0 +44c7423d6ce28a8af07efc1cb6addf50939cee1d v3.1