On Thu, 20 Nov 2025 23:13:41 GMT, Volodymyr Paprotski <[email protected]> wrote:
> If anyone wants it back, its in my git history (I usually keep my branches > after merge..) You could put a comment with the link into JBS issue to make it easier to discover later. (Or just attach the source file there.) ------------- PR Comment: https://git.openjdk.org/jdk/pull/28136#issuecomment-3560656214
