On Fri, 23 Aug 2024 04:43:12 GMT, Phil Race <[email protected]> wrote:
> After some "umming" I think we should withdraw this PR The bug > https://bugs.openjdk.org/browse/JDK-4795384 is a VERY old bug which said lots > of things didn't have a mnemonic. Looks to me like most were addressed, then > a couple which went too far (arguably) were undone in 8080628 and this PR is > addressing putting those back under the bug that said there were no mnemonics > for more than these. Ok. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20612#issuecomment-2306358887
