diff -r 8d71f5ef0840 -r 812a4a1c5cf0 .hgtags --- a/.hgtags Wed Oct 28 15:40:49 2015 -0700 +++ b/.hgtags Mon Nov 02 12:33:13 2015 -0800 @@ -503,6 +503,7 @@ 40c0d0766618ce3bf465b97e9effed131c4327b0 jdk8u71-b04 ca7c15cd6f1d31067b7f29cf21d96ff69e5a9728 jdk8u71-b05 a48ae298304c929b8952eaae45cbc91d8872bcff jdk8u71-b06 +cdc7f7d08434d1219016a0098d27c0e528a0f3dd jdk8u71-b07 81296d52090354da1eb9748d63a29d30bb1230f7 jdk8u72-b00 f0c760a2a888db7c84ec7d7a11892b8de867b2ae jdk8u72-b01 4483a58cf74e7c237208059f94eced2ac9e2ed89 jdk8u72-b02