diff options
author | jhendersonHDF <jhenderson@hdfgroup.org> | 2021-07-22 13:12:42 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-22 13:12:42 (GMT) |
commit | 96b6872a1e7deac7673d31697dafa1f44763ede4 (patch) | |
tree | 419759e5279292245a0aa3f819a69524efe22ec0 /tools | |
parent | 20dd1cedb35d95ecc21decb29352d7779d49a908 (diff) | |
download | hdf5-96b6872a1e7deac7673d31697dafa1f44763ede4.zip hdf5-96b6872a1e7deac7673d31697dafa1f44763ede4.tar.gz hdf5-96b6872a1e7deac7673d31697dafa1f44763ede4.tar.bz2 |
Avoid popping API context when one wasn't pushed (#848)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions