Closed janharaldfredriksen-arm closed 1 year ago
@oddhack this is approved if you're happy with it.
For some reason my review comment wasn't cleared even though the PR was updated accordingly. Maybe the force push confused github? Anyway, LGTM now, merging.
@oddhack was this merged? It appears to still be open so unsure if your last comment was accurate.
@oddhack this is approved if you're happy with it.