Rename 1.2.4-dev to 1.3.0-dev; this release includes some new features and deprecations
Rename 1.2.4-dev to 1.3.0-dev; this release includes some new features and deprecations

rueckstiess/mtools,rueckstiess/mtools