Closed dhaiducek closed 3 months ago
/cherry-pick release-2.10
@dhaiducek: once the present PR merges, I will cherry-pick it on top of release-2.11 in a new PR and assign it to you.
@dhaiducek: once the present PR merges, I will cherry-pick it on top of release-2.10 in a new PR and assign it to you.
Issues
0 New issues
0 Accepted issues
Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: dhaiducek, gparvin
The full list of commands accepted by this bot can be found here.
The pull request process is described here
@dhaiducek: new pull request created: #614
@dhaiducek: new pull request created: #615
/cherry-pick release-2.11