Commit 367f624311edb2d8cc71e1f61b0c756a452c4cff

Patrick Steinhardt 2018-09-28T11:04:06

Merge pull request #4803 from tiennou/fix/4802 index: release the snapshot instead of freeing the index