Re: [jdt-dev] restart JIPP?

[Jonah Graham <jonah@xxxxxxxxxxxxxxxx>]

That is correct, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=562881 Comment 2

Multiple (if not all) JIRO instances seem to be in the same state. 

Jonah 

On Sun., May 17, 2020, 07:33 Daniel Megert, <daniel_megert@xxxxxxxxxx> wrote:

We were able to do so on the old infra, but AFAIK not on the new one.

Dani



From:        Stephan Herrmann <stephan.herrmann@xxxxxxxxx>
To:        "Eclipse JDT general developers list." <jdt-dev@xxxxxxxxxxx>
Date:        17.05.2020 12:20
Subject:        [EXTERNAL] [jdt-dev] restart JIPP?
Sent by:        jdt-dev-bounces@xxxxxxxxxxx

---

Is anybody on this list able to kick-start the JDT JIPP?

See https://bugs.eclipse.org/bugs/show_bug.cgi?id=563256

I'm not sure restarting would help, but it can't get more broken than it
is currently ;p

Stephan

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




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