Commits
Merge pull request #583 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:minor_develop_fixes to develop * commit 'd85aeb770496a08d1e0ce9fcabbfc54f15f44864': Fixed a comment in configure.ac
Merge pull request #583 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:minor_develop_fixes to develop * commit 'd85aeb770496a08d1e0ce9fcabbfc54f15f44864': Fixed a comment in configure.ac