Closed olliewalsh closed 4 months ago
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: olliewalsh
The full list of commands accepted by this bot can be found here.
The pull request process is described here
/cherry-pick 18.0.0-proposed
@olliewalsh: once the present PR merges, I will cherry-pick it on top of 18.0.0-proposed in a new PR and assign it to you.
@olliewalsh: new pull request created: #346
Closes: OSPRH-8554