Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Drop the constant as it now seems unnecessary. Note: this is done in a separate commit to be easy to bisect and revert.
- Loading branch information