changeset 13681:cea7c555bd3e

Added tag v8.0.1712 for changeset c32e9628dc302c4b1539c5ac607057ad186ac7c7
author Christian Brabandt <cb@256bit.org>
date Sat, 14 Apr 2018 18:15:07 +0200
parents c32e9628dc30
children fc660a6ef37d
files .hgtags
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.hgtags
+++ b/.hgtags
@@ -17510,3 +17510,4 @@ 4a1efd1a601846f322369d7ddeafd16afdf2657d
 1feeefd8cddb42f56ffbaa47f05f25177c7a8228 v8.0.1709
 6b49b6ea9e43610292386a41f12e62bee8d5bbc3 v8.0.1710
 39fcaaa973dbd18bc74aebb1c69b31219e757fe9 v8.0.1711
+c32e9628dc302c4b1539c5ac607057ad186ac7c7 v8.0.1712