On 11/16/2015 10:33 AM, Max Rydahl Andersen wrote:
Great for quick turnaround.

Got a question though: Did these changes really warrant a minor version bump ? looks more like simple bug fixes ?
Indeed, it could/should have been a 1.3.1.Final.

--
Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets