Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
tools: minor performance improvement
PR-URL: #16125 Reviewed-By: Anna Henningsen <anna@addaleax.net>
- Loading branch information
80bd2a2
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Sorry, messed up splitting the commits – the author here should be @243083df (thanks @lpinca for pointing that out)