Thank you @shinji-s this looks good. We will merge this in the develop branch.
For future reference, please create pull requests to and from the develop branch instead of the master branch. You don't need to modify this PR now though. We will take this from here.
Thank you @shinji-s this looks good. We will merge this in the develop branch. For future reference, please create pull requests to and from the develop branch instead of the master branch. You don't need to modify this PR now though. We will take this from here.