# HG changeset patch
# User andrew
# Date 1563315508 -3600
# Node ID db9bb949e04c0a28bf94adf7640d2212e5e7aee1
# Parent  f0935d83f31fb125d0896537404b2116ee4439dc
Added tag jdk7u231-ga for changeset a8f5a2d0d6a0

diff -r f0935d83f31f -r db9bb949e04c .hgtags
--- a/.hgtags	Mon Jul 15 08:24:29 2019 +0100
+++ b/.hgtags	Tue Jul 16 23:18:28 2019 +0100
@@ -871,3 +871,4 @@
 39dc424afc0e4acf27b4570f864e5e9378127777 jdk7u221-ga
 39dc424afc0e4acf27b4570f864e5e9378127777 jdk7u231-b00
 a8f5a2d0d6a0d4f7501c0f6c1efe933532d4e627 jdk7u231-b01
+a8f5a2d0d6a0d4f7501c0f6c1efe933532d4e627 jdk7u231-ga