# HG changeset patch
# User schien
# Date 1305245849 25200
# Node ID e343d3af44723e46d9f4184dbb87f0d97c56a466
# Parent  92bf0655022d4187e9b49c1400f98fb3392a4630
Added tag jdk7-b142 for changeset 80cd3986b5de

diff -r 92bf0655022d -r e343d3af4472 jaxp/.hgtags
--- a/jaxp/.hgtags	Wed Jul 05 17:44:12 2017 +0200
+++ b/jaxp/.hgtags	Thu May 12 17:17:29 2011 -0700
@@ -116,3 +116,4 @@
 28c7c0ed2444607829ba11ad827f8d52197a2830 jdk7-b139
 c8136fd161c83917f87e93b14fa2ba3483f9be83 jdk7-b140
 e1b5ef243445bf836d095fd44866e1771ef99374 jdk7-b141
+7d067af4b25e4b7e6b28bef48527d67f8650e6c5 jdk7-b142