On Wed, 14 Jun 2023 16:14:15 GMT, Zhengyu Gu <zgu at openjdk.org> wrote: > Please review this small fix for memory leak. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/14472