Closed duckinator closed 1 year ago
bors r+
Build succeeded:
Wait, what? Bors merged it ( https://github.com/duckinator/bork/commit/26edde5629a8349167fca34a837bd04a8d8f81e2 ) but didn't close the PR? O.o