Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Implemented fix for failed cursor iteration (olivierkes#729)
A long time ago, I identified this failure but wasn't sure why it was failing. I still don't know why, but the emergency fix at least prevents other people from running into it. As a bonus, since we have a proper logging facility now, we can actually log it as I desired to do back then! This commit tentatively fixes issue 729.
- Loading branch information