change-magma-version - version changed
Merge pull request #610 from kazoompa/change-magma-version

change-magma-version - version changed