Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
PERF Don't allocate space for bias element if there isn't one #14108
A minor point just FYI (for the future) better not to amend commits in a PR but add new ones. We squash PRs anyway in the end, and separate commits make it easier to review what changed since the last review. Here the diff is short enough that it's fine in any case.