Commits
Merge pull request #780 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:minor_dev_warnings to develop * commit '5ce8dd5e946c85522edd76f3288e7052bde86b8a': Minor warning fixes
Merge pull request #780 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:minor_dev_warnings to develop * commit '5ce8dd5e946c85522edd76f3288e7052bde86b8a': Minor warning fixes