Wed, 07 Dec 2022 06:59:19 +0200
Added tag v1.0.0 for changeset 23821a01d013
--- a/.hgtags Wed Dec 07 06:59:16 2022 +0200 +++ b/.hgtags Wed Dec 07 06:59:19 2022 +0200 @@ -1,1 +1,2 @@ b71edfd403aaf3045011769ce14775bfff94c4f5 v1.0.0-pre-arxiv +12cee797937ff49574f95c766dc0b56395ed9f4f v1.0.0