Closed mythmon closed 3 years ago
Fixes #2310
bors delegate= @rehandalal
:v: rehandalal can now approve this pull request. To approve and merge a pull request, simply reply with bors r+. More detailed instructions are available here.
bors r+
Build succeeded:
Fixes #2310