Commits

Merge pull request #1510 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:hdf5_1_10 to hdf5_1_10 * commit 'a09bcbcb07609ee38a1ccbcfafd4fd5a9dbe27f5': Fixed a bug identified by valgrind in the cork test.
Merge pull request #1510 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:hdf5_1_10 to hdf5_1_10 * commit 'a09bcbcb07609ee38a1ccbcfafd4fd5a9dbe27f5': Fixed a bug identified by valgrind in the cork test.