This merge PR got stuck:

https://github.com/openjdk/panama-foreign/pull/507

It was probably not acted upon immediately and left there for sometime. After the merge issue was resolved and the `sponsor` tag was added, we were unable to sponsor the change through.

A Skara admin had to manually remove a bot comment so that things could be unblocked.