Mantle version update
Updating the mantle version
Pipeline: https://ci.eclipse.org/openpass/job/GtGenCore/view/change-requests/job/MR-71/
Edited by Andreas Rauschert
Updating the mantle version
Pipeline: https://ci.eclipse.org/openpass/job/GtGenCore/view/change-requests/job/MR-71/
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent