Commits
Merge pull request #896 in HDFFV/hdf5 from ~VCHOI/my_hdf5_fork:develop to develop * commit 'f5c5eba7837f33a44e521ea1c9aca479f1dc1bba': Fix for daily test failure for configuration with --disable-deprecated-symbols
Merge pull request #896 in HDFFV/hdf5 from ~VCHOI/my_hdf5_fork:develop to develop * commit 'f5c5eba7837f33a44e521ea1c9aca479f1dc1bba': Fix for daily test failure for configuration with --disable-deprecated-symbols