Skip to content

Make NoDestructor's destructor trivial - #267

Merged
derobins merged 1 commit into
developfrom
derobins/no_destructor
Oct 19, 2026
Merged

derobins merged 1 commit into
developfrom
derobins/no_destructor

Commits

  1. Commits on Oct 19, 2026