Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This little bit of code from riscv#268 was not formatted in riscv#292 because it was not merged yet. Basically it was a semantic conflict between the PRs, but not a text conflict, so Git can't detect it. This can be prevented using merge queues, but it probably isn't necessary on a repo of this size.
- Loading branch information