Hi, > Isn't it plan at some point to merge all what we've got in the develop branch > ? Once we make a release yes. We can also merge at any time if it needed.
That fix was required for the release so I merged it from develop into release. Thanks, Justin