--- a/.hgtags	Wed Jul 05 18:43:09 2017 +0200
+++ b/.hgtags	Wed Jul 05 18:43:10 2017 +0200
@@ -201,3 +201,4 @@
 d17eb2e13e362085e866d46235314c50cc4661cc jdk8-b77
 6d3dcd34b5b962ea1ef9eed0dafdee9e812401bc jdk8-b78
 a1313a8d90d17d363a3b2a645dc4030ec204b168 jdk8-b79
+3fa21fbf9be7e6b482af43aacb6a09acfa30bdb6 jdk8-b80