Closed bernt-matthias closed 1 year ago
FOR CONTRIBUTOR:
I will merge and kill CI ok? I don't think we need to risk some TS tool updates. Or do we know it will just update description?
I'm not sure. Just kill CI. Or maybe [skip-ci] in the merge message?
[skip-ci]
FOR CONTRIBUTOR: