3 ms·

That doesn't mean the PR is guaranteed to be merged, let alone already merged, as the submission title implies.

• tosh 6y ago
  it doesn't, I added the comment for context in case other readers are not aware (@ "someone")
  • tosh 6y ago
    update: merged