Right, I thought we released on December, but that was from branches 4.2 and 4.1. We will release a new version from 4.3 branch in the near future.

I will close this one, being fixed in the code.

—
Reply to this email directly or view it on GitHub.