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

[Mickael Istria <mistria@xxxxxxxxxx>]

On Wed, Dec 19, 2018 at 4:18 PM Daniel Megert <daniel_megert@xxxxxxxxxx> wrote:

>  Shouldn't https://www.eclipse.org/eclipseideredirect to it?

Yes, and it does, but I provided the direct link on purpose.

> This page doesn't include the download link

It does. Just take another look.

OK, thanks Dani; all is good now.

I guess I should have forced-refresh the page in my browser as I looked at it a few minutes earlier.

--

Mickael Istria

Eclipse IDE developer, for Red Hat Developers