Re: [eclipse-pmc] Approval to fix Bug 542093 for 4.10 RC2

["Daniel Megert" <daniel_megert@xxxxxxxxxx>]

Others might use
the ID, hence it's strictly speaking an API change. But as you saw, I agree
to fix it for RC2.

Dani



From:
       Mickael
Istria <mistria@xxxxxxxxxx>
To:
       eclipse-pmc@xxxxxxxxxxx
Date:
       04.12.2018
15:37
Subject:
       Re:
[eclipse-pmc] Approval to fix Bug 542093 for 4.10 RC2
Sent
by:        eclipse-pmc-bounces@xxxxxxxxxxx

---

Hi,

FWIW, I've suggested to reach this mailing-list
because it doesn't hurt, but I'm wondering whether this kind of changes
in ext point schema cannot be perceived as a documentation fix, in which
case it'd be fine for a committer to just merge it.

Cheers,_______________________________________________
eclipse-pmc mailing list
eclipse-pmc@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe
from this list, visit
https://www.eclipse.org/mailman/listinfo/eclipse-pmc