Commits
Merge pull request #1093 in HDFFV/hdf5 from ~VCHOI/my_hdf5_fork:develop to develop * commit '7a5fa418e3edf1f85f3e1462a119c3f5aa41a3d1': Fix the error found after earlier checkin.
Merge pull request #1093 in HDFFV/hdf5 from ~VCHOI/my_hdf5_fork:develop to develop * commit '7a5fa418e3edf1f85f3e1462a119c3f5aa41a3d1': Fix the error found after earlier checkin.