mirror of
https://github.com/openjdk/jdk.git
synced 2026-05-21 10:57:56 +00:00
Don't delete globalrefs that might still be referenced Reviewed-by: gadams, jcbeyler, sspitsyn
Don't delete globalrefs that might still be referenced Reviewed-by: gadams, jcbeyler, sspitsyn