Closed Amanieu closed 3 weeks ago
No code changes are needed.
@bors r+
@Amanieu: :key: Insufficient privileges: Not in reviewers
Right, I forgot that we removed bors here.
@cuviper This needs a review approval from you to get merged :)
No code changes are needed.