Thank you very much for your pull request. Please note that we use this repository on GitHub only for our official releases, not for development purposes. Still, we will gladly incorporate your changes into our development code and we hope we can make a new release soon. We will close this pull request once this new release is available.
Thank you very much for your pull request. Please note that we use this repository on GitHub only for our official releases, not for development purposes. Still, we will gladly incorporate your changes into our development code and we hope we can make a new release soon. We will close this pull request once this new release is available.