Re: [orion-dev] New Build of Orion: 13.1

[Rafael Chaves <rafael@xxxxxxxxxxxx>]

Hi Michael, 

Good to hear that bug has been fixed and is already available in a release. Thank you, going to try it out right away!

Note that the link you posted is for a download page labeled 13.0.0S12 (which was the vrsion id for the 13.0 release, right?), and so does the actual distribution file (the size seems different though).

Cheers,

Rafael

On Thu, Jan 19, 2017 at 4:38 PM, Michael Rennie <Michael_Rennie@xxxxxxxxxx> wrote:

Hi all,

Due to a major bug found in the Orion 13.0 release (https://bugs.eclipse.org/bugs/show_bug.cgi?id=509646), we have released a new version of Orion: 13.1

The download can be found here: http://download.eclipse.org/orion/drops/R-13.1-201701181500/index.html

https://orionhub.org/ has also been updated with the new build.

Thanks,

Michael Rennie

_______________________________________________
orion-dev mailing list
orion-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/orion-dev