Closed madmann91 closed 2 years ago
Merged it on the command line, unsure why Github failed to detect that.
Huh, clicking rebase & merge then did nothing. I guess it did know it's already in there.