Closed chizhg closed 3 years ago
/cc @amwat @BenTheElder
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: amwat, chizhg
The full list of commands accepted by this bot can be found here.
The pull request process is described here
I have tested it in our existing CI flows and everything works fine.