Re: [cross-project-issues-dev] The Eclipse IDE 2018-12 release is availa

[Mickael Istria <mistria@xxxxxxxxxx>]

Thanks Fred for the final fixes; and thanks to everyone involved.

For twitter users, here is a tweet about the new release of the IDE: https://twitter.com/EclipseJavaIDE/status/1075422538484846597 . Retweet it without moderation!