# HG changeset patch
# User andrew
# Date 1486430780 0
# Node ID e114b1e35683a2d5c9a472a3391c69b9fcfc530d
# Parent  51ed13d07beb90ff71d8625d9d6409cc4add5cbc
Added tag jdk7u131-b00 for changeset 51ed13d07beb

diff -r 51ed13d07beb -r e114b1e35683 .hgtags
--- a/.hgtags	Fri Oct 28 03:35:34 2016 +0100
+++ b/.hgtags	Tue Feb 07 01:26:20 2017 +0000
@@ -610,3 +610,4 @@
 be2127cf0435d141d8072a94dbe75a527ceda453 jdk7u111-b00
 cd13b280e8247904509c28ee8aa9b45326185dd7 jdk7u111-b01
 b198ece212c1f7ff382d9282624411a260b52a55 jdk7u121-b00
+51ed13d07beb90ff71d8625d9d6409cc4add5cbc jdk7u131-b00