Closed kay0u closed 4 years ago
Minor decision
Curiously, the CI is failing with corrupt source...
Bump?
:up:
Let's merge this PR before the next testing release.
Can be merged in 3 days.
Problem
Solution
PR Status
Validation
Minor decision
When the PR is marked as ready to merge, you have to wait for 3 days before really merging it.