Skip to main content

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

FYI, I opened this as well:

I expect it's the same underlying problem...

On 17.05.2020 12:19, Stephan Herrmann wrote:
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