On Mon, 18 Aug 2025 19:29:11 GMT, David Alayachew <d...@openjdk.org> wrote:
> Man, I messed up the commit. It asked me if I wanted to grab upstream > changes, now there's all this gunk. Let me try recreating the pull request. @davidalayachew Why do you need to re-create the PR? Just pull the changes from your personal fork if you used GitHub interface to sync your remote branch with upstream. ------------- PR Comment: https://git.openjdk.org/jdk/pull/26814#issuecomment-3198143898
