Closed ricolin closed 1 week ago
@mnaser: once the present PR merges, I will cherry-pick it on top of stable/2023.2 in a new PR and assign it to you.
/cherry-pick stable/2023.1
/cherry-pick stable/zed
@mnaser: once the present PR merges, I will cherry-pick it on top of stable/2023.1 in a new PR and assign it to you.
@mnaser: once the present PR merges, I will cherry-pick it on top of stable/zed in a new PR and assign it to you.
@mnaser: new pull request created: #1445
@mnaser: new pull request created: #1446
@mnaser: new pull request created: #1447
/cherry-pick stable/2023.2