On Mon, 9 Dec 2024 18:15:32 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:
> Technically it could be part, but it's just not allowed (yet) by policy Maybe relax the policy given it causes inconvenience already? :-) ------------- PR Comment: https://git.openjdk.org/jdk/pull/22644#issuecomment-2529021849
