Several changes in jdk9-dev/jdk depot from yesterday did not resolve JIRA bugs

[Langer, Christoph]

Hi,

did anyone recognize that some of yesterday's changes in jdk9/dev/jdk did not resolve the according bug items?

E.g. my change http://hg.openjdk.java.net/jdk9/dev/jdk/rev/6577fabed061 did not update the bug https://bugs.openjdk.java.net/browse/JDK-8168771.

Other changes were affected, too. E.g.

https://bugs.openjdk.java.net/browse/JDK-8168923
https://bugs.openjdk.java.net/browse/JDK-8063154

...

Will this resolve automatically or does someone have to do a manual cleanup?

Thanks & Best regards
Christoph