# HG changeset patch # User Bram Moolenaar # Date 1665414908 -7200 # Node ID df5ddde37685e19e2d7c4beac19fad09444b1fdf # Parent c9b31c8eb3b3baa7bfd5ed8bad58eb8a31442d78 Added tag v9.0.0715 for changeset c9b31c8eb3b3baa7bfd5ed8bad58eb8a31442d78 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -25907,3 +25907,4 @@ b6b3266713969a241d356786428e8486a0279a02 b7efd41d43b80390c8545767fd8f503a88fd5422 v9.0.0712 74043ee52030595ec88e248dfa41619c90eb6b4d v9.0.0713 b41ccaa6fd84f3749e45c95b500237a767300ebf v9.0.0714 +c9b31c8eb3b3baa7bfd5ed8bad58eb8a31442d78 v9.0.0715