On Tue, 21 Mar 2023 16:53:18 GMT, Justin King <jcking at openjdk.org> wrote: > Update `DirectivesSet` to take ownership of string options in some cases, to not leak memory. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/13125