Closed MichaelWedel closed 7 years ago
This PR bumps the version number in all required places and makes some other minor modifications.
This PR bumps the version number in all required places and makes some other minor modifications.