On Thu, Jan 20, 2022 at 2:00 PM Mário Marinato <mariomarin...@gmail.com> wrote:
> Mickael, yeah, I'm aware that some of the things we do might benefit > others, and I'm going to suggest it to our team. > The bug number 492861 might be a good place to start, since most of the > items listed there have not been addressed: > https://bugs.eclipse.org/bugs/show_bug.cgi?id=492861 > It was closed-wontfix'd last year due to lack of activity. > As the last comment on the bug mentions """ If you have further information on the current state of the bug, please add it and reopen this bug. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant. """ > In case we do start contributing, are the instructions found on > https://wiki.eclipse.org/Platform/How_to_Contribute the ones we should > follow? > Yes.
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
