Commits
Merge pull request #1863 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:map_api_merge to develop * commit '7555bc95d91aa99344cdc3a66d47eb44decad4ac': Added map API build status to libhdf5.settings.
Merge pull request #1863 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:map_api_merge to develop * commit '7555bc95d91aa99344cdc3a66d47eb44decad4ac': Added map API build status to libhdf5.settings.