Commits
Merge pull request #1818 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop_minor_pr to develop * commit '99a6a5a16e84512dfc57ba2eb7c3e09ecef94b1c': Fixed the MANIFEST
Merge pull request #1818 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop_minor_pr to develop * commit '99a6a5a16e84512dfc57ba2eb7c3e09ecef94b1c': Fixed the MANIFEST