Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This fixes a regression introduced in 2ea5d68. It's my mistake, actually, as I was the one who suggested the new bounds, and also the one who reviewed the final diff. Kudos to Berk Özkütük (@ozkutuk) for spotting it!
- Loading branch information