# HG changeset patch
# User coffeys
# Date 1406644688 -3600
# Node ID 533a5243e4863d68a4d668af75fef10d4d218ff2
# Parent  ef0842fc31d98031ad9bb514b0f8d2db7bcf4162
Added tag jdk7u72-b07 for changeset ef0842fc31d9

diff -r ef0842fc31d9 -r 533a5243e486 .hgtags
--- a/.hgtags	Tue Jul 29 15:36:36 2014 +0100
+++ b/.hgtags	Tue Jul 29 15:38:08 2014 +0100
@@ -502,3 +502,4 @@
 f59d0ae0995d2cdb57ea482a8fa47575e0d8b57f jdk7u72-b04
 ed071d27bf7320265d8ae527bb622f2e26e1a89c jdk7u72-b05
 d3c5c35f617e33f673420ff9da8051c742513af3 jdk7u72-b06
+ef0842fc31d98031ad9bb514b0f8d2db7bcf4162 jdk7u72-b07