You claimed the PR was merged.
You claimed the PR was merged.
No, it wasn’t. You might say that the issue was sidestepped, because it says “it”, rather than “they”, now.
I guess it was an overreaction by mastodon, though. Even if I understand the initial criticism.
But not the PR.