On Wed, 3 May 2023 21:42:50 GMT, Phil Race <[email protected]> wrote: > Ok, since you tested it .. I'm approving, but I think the odds are few people > will notice either way.
Thanks Phil, I’ve integrated. I’ll consider a removal patch once I get back from vacation. If nobody uses these projects, I agree it would be cleaner to simply remove them. But for this PR, the purpose was to rid the OpenJDK of reference to the removed property so they don’t show up in code searches. It’s good to have that done, so thanks for your approval 😀 ------------- PR Comment: https://git.openjdk.org/jdk/pull/13101#issuecomment-1534162540
