Commits
Merge pull request #1919 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop_minor_pr to develop * commit '78fda912952d977ec6b157d344834112c363dd26': Fixed some exit calls.
Merge pull request #1919 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop_minor_pr to develop * commit '78fda912952d977ec6b157d344834112c363dd26': Fixed some exit calls.