diff -r 4d3fefdd2f98 -r e131417abf59 .hgtags
--- a/.hgtags	Sat Oct 06 10:24:47 2018 +0100
+++ b/.hgtags	Sat Oct 06 05:11:24 2018 -0700
@@ -908,3 +908,4 @@
 15cc8dfafe99078995d306cbafdbce8c218d4d8c jdk8u192-b10
 940952a0d50ffb71692f6a4bc03987296e89706e jdk8u192-b25
 5d4431231254f3ee61ae17c22fcb2b6ca2a09aa3 jdk8u192-b11
+4d3fefdd2f98b55eaad22525ccf10b9d437b6cdb jdk8u192-b12