On Tue, 23 Jan 2024 01:32:45 GMT, David Holmes <dhol...@openjdk.org> wrote:
> Seems quite reasonable. Thanks! I shall wait for more reviewers, in case someone has an issue with `external-dep` as the flag name. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17421#issuecomment-1905719123
