diff -r 5ebf6c63714d -r 00b6567b018d .hgtags
--- a/.hgtags	Wed Jul 05 18:52:11 2017 +0200
+++ b/.hgtags	Wed Jul 05 18:52:12 2017 +0200
@@ -208,3 +208,4 @@
 d7ad0dfaa41151bd3a9ae46725b0aec3730a9cd0 jdk8-b84
 1872c12529090e1c1dbf567f02ad7ae6231b8f0c jdk8-b85
 da9a4c9312816451884aa6db6f18be51a07bff13 jdk8-b86
+5ebf6c63714de2c9dcf831074086d31daec819df jdk8-b87