Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This is neater at the call site and makes it clear that this is only ever supposed to be an incremental ID and nothing else. As suggested by max (pr2502) in #66 (comment)
- Loading branch information