Good work, Sherlock ;). But what is the difference? It got resolved. Cheers, Wim
On Sun, Feb 20, 2022 at 6:12 PM Christoph Läubrich <lae...@laeubi-soft.de> wrote: > Hi Wim, > > good to hear the bug is fixed, but to be fair it seems Jörg simply > noticed the same problem, created a new bug with a different description > and you just linked it to a very old bug ;-) > > Am 20.02.22 um 16:25 schrieb Wim Jongman: > > 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 > > <mailto:i...@livius.net>> wrote: > > > > > > > > > On 19 Feb 2022, at 13:38, Rolf Theunissen > > <rolf.theunis...@gmail.com <mailto: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 <mailto:platform-dev@eclipse.org> > > To unsubscribe from this list, visit > > https://www.eclipse.org/mailman/listinfo/platform-dev > > <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 > _______________________________________________ > 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