The jBallerina 1.2.13 patch release improves upon the 1.2.12 release by addressing a few issues.
You can use the update tool to update to jBallerina 1.2.13 as follows.
If you are already using jBallerina version 1.2.0, or above, you can directly update your distribution to jBallerina 1.2.13 by executing the following command:
$ ballerina dist update
However, you need to use the following commands instead of the above if you have installed:
$ ballerina dist pull jballerina-1.2.13
If you have not installed jBallerina, then download the installers to install.