Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This is similar to the fix at danielgtaylor#81, but that doesn't merge into our branch because our branch is too old. So this just pulls in the relevant fix part.
- Loading branch information