Here is some good news: Jörg Kubitz just resolved bug 89838 from march 2005.
Bug 89838 was automatically closed after 15 years but emerged again by someone who cared and was resolved. Cheers, Wim On Sat, Feb 19, 2022 at 12:47 PM Liviu Ionescu <i...@livius.net> wrote: > > > > On 19 Feb 2022, at 13:38, Rolf Theunissen <rolf.theunis...@gmail.com> > wrote: > > > > However, given the current state of the project, the auto-close can be > for many the confirmation that the project is dying and they are moving > away. > > Agree. > > Liviu > > _______________________________________________ > platform-dev mailing list > platform-dev@eclipse.org > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/platform-dev >
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
