On Thu, Jun 15, 2017 at 6:55 PM, Torkild U. Resheim <[email protected]> wrote:
> In that case, maybe it would be a good idea to have > http://download.eclipse.org/releases/latest? > Indeed. https://bugs.eclipse.org/bugs/show_bug.cgi?id=483786 -- Mickael Istria Eclipse IDE <https://www.eclipse.org/downloads/eclipse-packages/> developer, at Red Hat Developers <https://developers.redhat.com/> community
_______________________________________________ cross-project-issues-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
