Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jdt-dev] restart JIPP?

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


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?


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


jdt-dev mailing list
To unsubscribe from this list, visit

Back to the top