# HG changeset patch
# User schien
# Date 1305245850 25200
# Node ID 3e3c9477096575cf31012e3d9e16673c7e5fb97e
# Parent  92bf0655022d4187e9b49c1400f98fb3392a4630
Added tag jdk7-b142 for changeset 837252ffce27

diff -r 92bf0655022d -r 3e3c94770965 jaxws/.hgtags
--- a/jaxws/.hgtags	Wed Jul 05 17:44:12 2017 +0200
+++ b/jaxws/.hgtags	Thu May 12 17:17:30 2011 -0700
@@ -116,3 +116,4 @@
 c025078c8362076503bb83b8e4da14ba7b347940 jdk7-b139
 82a9022c4f21b1313023c8303b557a17c4106701 jdk7-b140
 66826b0aec5a1834da3821c35cf85ac154e9b04d jdk7-b141
+0ef3ef823c39eee3d670e58027c3219cb66f0283 jdk7-b142