On Tue, 3 Jun 2025 12:15:06 GMT, Erik Gahlin <egah...@openjdk.org> wrote:
> I wonder if <Field type="Thread" name="eventThread" label="Thread" /> is > needed, instead of thread = true? We had these discussions before on the old PR and then decided to end up with eventThread (as the other events do to), ------------- PR Comment: https://git.openjdk.org/jdk/pull/25302#issuecomment-2934963523
