Closed honza closed 1 week ago
/approve
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: dtantsur
The full list of commands accepted by this bot can be found here.
The pull request process is described here
/lgtm
/cherry-pick release-0.8
/cherry-pick release-0.6
@tuminoid: new pull request created: #2061
@tuminoid: new pull request created: #2062
I just noticed that @iurygregory isn't even a reviewer on this project despite his thoughtful contributions. This PR fixes that.