Closed detrumi closed 2 years ago
@bors r+
:pushpin: Commit 0a53a73559d2170f8c71a48e4d73308a1c0332fc has been approved by jackh726
It is now in the queue for this repository.
:hourglass: Testing commit 0a53a73559d2170f8c71a48e4d73308a1c0332fc with merge dfddf2ba5d4779b688d4184c86b2a141352edfaa...
:sunny: Test successful - checks-actions Approved by: jackh726 Pushing dfddf2ba5d4779b688d4184c86b2a141352edfaa to master...
Fixes #775