Skip to content

Improve the backport of NoDefault#388

Merged
JelleZijlstra merged 2 commits intomainfrom no-default-betterMay 15, 2024

Commits

Commits on May 13, 2024