Commits
Merge pull request #609 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:hdf5_1_10 to hdf5_1_10 * commit '4b7013194cd545b73b1cf70874470dc6abfcb3bd': Cherry pick of some minor tools fixes from develop:
Merge pull request #609 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:hdf5_1_10 to hdf5_1_10 * commit '4b7013194cd545b73b1cf70874470dc6abfcb3bd': Cherry pick of some minor tools fixes from develop: