# HG changeset patch # User Bram Moolenaar # Date 1665431104 -7200 # Node ID 11bee01b89d79451474e85902097c691fb4f7253 # Parent 3002177fa0b14790fd53759b033aa2e17e8d1193 Added tag v9.0.0717 for changeset 3002177fa0b14790fd53759b033aa2e17e8d1193 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -25909,3 +25909,4 @@ 74043ee52030595ec88e248dfa41619c90eb6b4d b41ccaa6fd84f3749e45c95b500237a767300ebf v9.0.0714 c9b31c8eb3b3baa7bfd5ed8bad58eb8a31442d78 v9.0.0715 8ea77a6ceff067ba5731089c70d84e1720b666a7 v9.0.0716 +3002177fa0b14790fd53759b033aa2e17e8d1193 v9.0.0717