Re: [jdt-dev] restart JIPP?

[Ed Merks <ed.merks@xxxxxxxxx>]

FYI, I opened this as well:

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

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?
>
> 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