Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Per the discussion in #3319 (comment), these only temporarily needed to be marked `pending` until #3327 was merged. From the first thread it looks like the intent was to remove the `pending` comment, but that accidentally got overlooked. So this removes them.
- Loading branch information