Re: [jdt-dev] Update JDT's Oomph setup

[Andrey Loskutov <loskutov@xxxxxx>]

Done. 

Am 9. Februar 2022 05:49:27 MEZ schrieb Ed Merks <ed.merks@xxxxxxxxx>:
>Hi,
>
>I opened this bug:
>
>https://bugs.eclipse.org/bugs/show_bug.cgi?id=578615
>
>and contributed this trivial fix:
>
>https://git.eclipse.org/r/c/jdt/eclipse.jdt/+/190520
>
>Could someone please merge it?
>
>Thanks,
>Ed
>
>
>
>_______________________________________________
>jdt-dev mailing list
>jdt-dev@xxxxxxxxxxx
>To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jdt-dev

--
Kind regards,
Andrey Loskutov

https://www.eclipse.org/user/aloskutov
Спасение утопающих - дело рук самих утопающих