Commit 32b8166150c39f4d68b64b0483d6723dfc35bc10

Edward Thomson 2018-10-20T20:16:32

merge: don't leak the index during reloads