Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Small clarifications with no behaviour change
All the right hand side is `dev_cap`, changed one outlier to match. Also clarified the relationshipts between some magic numbers. No change in behaviour here.
- Loading branch information