On Thu, Sep 20, 2018 at 3:09 PM, Mickael Istria <[email protected]> wrote:
> Another issue: https://bugs.eclipse.org/bugs/show_bug.cgi?id=539280 > And one more: https://bugs.eclipse.org/bugs/show_bug.cgi?id=539287 -- Mickael Istria Eclipse IDE <https://www.eclipse.org/downloads/eclipse-packages/> developer, for Red Hat Developers <https://developers.redhat.com/>
_______________________________________________ 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
