Closed mgol closed 3 hours ago
There's nothing to merge and I got two approvals so I'm closing the PR.
For future reference, if GitHub stops showing this PR correctly, you can also view the changes here: 0483994249c1a39d29b80e8a74e8dfdc3f9cad90...43d6161803ea015f23e25e27681d4e0166f1df89.
I was in a hurry to release the beta before going on holiday and I landed some commits without a proper review. I'd still like to have all this code reviewed before the final release, though.
This is a fake PR against a branch reflecting the last reviewed state. I figured it's going to be easier to review on GitHub.
I'll submit a real PR against the upstream repository addressing review remarks.
I'm submitting this as a draft since there's no intention of merging this PR. It is ready to review, though, especially that this code is already live.