.hgtags
changeset 738 7c47c40d4bd5
parent 666 2ec3717dd4d1
child 818 86cb4a10400f
--- a/.hgtags	Wed Jul 05 16:38:25 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:38:26 2017 +0200
@@ -4,3 +4,4 @@
 67052ac87fc927d048e62ec54ff42adb230d3f7c jdk7-b27
 18dc4ba4739a537fd146f77da51db16efce28da2 jdk7-b28
 bfe4572fd301a6fcd120373cdb2eff5d2da0c72c jdk7-b29
+bee4731164a06ddece1297ae58db24aca6a1c626 jdk7-b30