Closed musshush closed 10 years ago
In case you're wondering, Github came to a conclusion that a rebase to the current master is a merge. We're not sure why, but PRs can't be reopened, so...