# HG changeset patch
# User Christian Brabandt <cb@256bit.org>
# Date 1509206405 -7200
# Node ID f7c8b09dd510871675c065952760711ef97b8051
# Parent  9b882316aa63e5670c2cdfaebd8208bf9422152b
Added tag v8.0.1231 for changeset 9b882316aa63e5670c2cdfaebd8208bf9422152b

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -17034,3 +17034,4 @@ 6d3d64be7945b2fe722ecc44b0a3b73e3ee30e9e
 306a7a357c7150833e680d0d145db3890fc762cd v8.0.1228
 a99da335b6f12c4127f96d9cc6df4b06e5fb0457 v8.0.1229
 ee5f3f5d3c55537c5e852462d95dca1250ab1391 v8.0.1230
+9b882316aa63e5670c2cdfaebd8208bf9422152b v8.0.1231