I'm trying to upgrade a wso2 install from 1.9.0 to 1.10.0 to support HTTP PATCH, however, the bug here: https://wso2.org/jira/browse/APIMANAGER-4504 has broken JWT generation. I see the bug is fixed in 1.10.1, but I cannot find any reference to this version in documentation or in the release downloads for wso2.
Is this version released? Is it available, or does it have to be build manually? If so, could you provide instructions on how to do this?