On Fri, 13 Feb 2026 18:23:18 GMT, Daniel D. Daugherty <[email protected]> 
wrote:

> Trivial fixes to update some existing Valhalla ProblemList entries to new bug 
> IDs.
> 
> Many of the updates I originally generated have been removed because those
> issues have been resolved in lworld since I started on my verification work at
> the end of January.

LGTM

-------------

Marked as reviewed by fparain (Committer).

PR Review: 
https://git.openjdk.org/valhalla/pull/2105#pullrequestreview-3798808414

Reply via email to