--- a/.hgtags	Wed Aug 22 13:47:47 2018 -0500
+++ b/.hgtags	Wed Aug 22 21:48:39 2018 +0200
@@ -507,3 +507,4 @@
 f8696e0ab9b795030429fc3374ec03e378fd9ed7 jdk-12+5
 7939b3c4e4088bf4f70ec5bbd8030393b653372f jdk-12+6
 ef57958c7c511162da8d9a75f0b977f0f7ac464e jdk-12+7
+492b366f8e5784cc4927c2c98f9b8a3f16c067eb jdk-12+8