On Mon, 23 Oct 2023 09:38:26 GMT, Afshin Zafari <azaf...@openjdk.org> wrote:
> It is up to date with master and nothing to push. That doesn't seem possible since you last merged with master on September 26. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15418#issuecomment-1776866055
