Thanks, I approved and merged both.
(OT: There’s never a need to squash commits, we do that when we press the “Squash and Merge” button on GitHub. Squashing is actually counterproductive for the review, as is force-pushing amended commits – it can confuse the reviewer.)