Re: [eclipse-dev] Request PMC approval for a regression fix

[Александър Куртаков <akurtakov@xxxxxxxxx>]

From the commit itself I get it that it's actually a revert, if this is the case - +1 and go for it.

On Thu, May 25, 2023 at 9:57 AM Mickael Istria <mistria@xxxxxxxxxx> wrote:

Hi all, hi PMC,

I'd like to request PMC approval to merge https://github.com/eclipse-platform/eclipse.platform.text/pull/208 . This is a small fix for a regression that was merged 1 month ago. As it is a race-condition, it's hard to reproduce the issue and validate the patch fixes it, but I tested it on many cases and couldn't see any other regression brought by this patch, and the code seems good.

Thanks in advance

--

Mickael Istria

Eclipse IDE developer, for Red Hat Developers

_______________________________________________
eclipse-dev mailing list
eclipse-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/eclipse-dev