Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove a call-site to
primary_body_of
as it is only interested in t…
…he body id
- Loading branch information