Change map api identifier to mantle api identifier

Ton Weeninkrequested to merge
tonweenink/mantle-api:Change_map_api_Identifier_to_mantle_api_Identifier into main

see title

Merge request reports

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent