I'm sorry too because in my enthusiasm to get p2's bugs in a manageable
state I did the same thing. :-(
https://bugs.eclipse.org/bugs/show_bug.cgi?id=491952
Note that as part of this, I had to fix a build problem too (an unused
import was failing the API verification).
I too prefer to keep this given it's zero risk.
On 18.02.2020 10:26, Mickael Istria wrote:
Hi all,
I apologize because I merged a patch by mistake today:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=560068
I think the risk is low, so it's acceptable to keep it. But if you
prefer reverting if, feel free, it's all right.
Sorry!
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To change your delivery options, retrieve your password, or unsubscribe from
this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To change your delivery options, retrieve your password, or unsubscribe from
this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev