mirror of
https://github.com/HDFGroup/hdf5.git
synced 2025-03-19 16:50:46 +08:00
added a ckeck that avoids to read these records if they are not needed (for pushing down the table) tested: windows, linux
added a ckeck that avoids to read these records if they are not needed (for pushing down the table) tested: windows, linux