Commits
Merge pull request #1423 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop_minor_pr to develop * commit '1f644fe7cd0188628571c5527f51fce4ddeeebf4': Changed to Unix line endings and chmod -x.
Merge pull request #1423 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop_minor_pr to develop * commit '1f644fe7cd0188628571c5527f51fce4ddeeebf4': Changed to Unix line endings and chmod -x.