# HG changeset patch
# User Christian Brabandt <cb@256bit.org>
# Date 1509661806 -3600
# Node ID 12964eaed9612988b87cde52cb23635e8f4ab63d
# Parent  528b227051f8cd3064e99838e4264c4da44cc1e7
Added tag v8.0.1257 for changeset 528b227051f8cd3064e99838e4264c4da44cc1e7

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -17060,3 +17060,4 @@ 0b6c09957b43859879e60f983a183d1810d6f0d0
 09c85660519101cb0132026616eb1eb59de7a754 v8.0.1254
 5707872d5c07a2aabb94ea1d3a3bad67161477cc v8.0.1255
 f473855aa9a962c2e6a17a952eea45007a05f4c3 v8.0.1256
+528b227051f8cd3064e99838e4264c4da44cc1e7 v8.0.1257