Commits
Merge pull request #1358 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop to develop * commit 'dd23dac577c70d7fc0aa3fe21c1ebf52a18975d2': Removed RELEASE.txt entry concerning --enable-debug/production configure flags as those changes were pushed to HDF5 1.10.