Skip to content

CI: use stable clippy#239

Merged
strohel merged 1 commit intomainfrom stable-clippyDec 1, 2022

Commits

Commits on Dec 1, 2022