Commits
Merge pull request #572 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop to develop * commit '005bf26ff83fcd28255a77fb9bbb4a64495cb4a2': Revert "Merge pull request #567 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop to develop"
Merge pull request #572 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop to develop * commit '005bf26ff83fcd28255a77fb9bbb4a64495cb4a2': Revert "Merge pull request #567 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop to develop"