--- a/.hgtags-top-repo	Wed Jul 05 17:14:21 2017 +0200
+++ b/.hgtags-top-repo	Thu Jun 03 13:30:03 2010 -0700
@@ -70,3 +70,4 @@
 5fc102ff48f0e787ce9cc77249841d5ff0941b75 jdk7-b93
 d7f35c61afa092b6357c2c4bce3f298f16620f71 jdk7-b94
 fd3663286e77b9f13c39eee124db2beb079b3ca6 jdk7-b95
+cf71cb5151166f35433afebaf67dbf34a704a170 jdk7-b96