On 2/9/14 10:33 AM, Willem Jan Withagen wrote: > Are there any (near future) plans to merge this with the regular stable > branch? It just missed 10.0-RELEASE. :( There was a technical issue at the time and there are some performance patches on their way. Please do test! Michael