Skip to content

replace [[gnu::noreturn]] with [[noreturn]]#2656

Merged
junliume merged 1 commit intodevelopfrom gnu_noreturnJan 14, 2024

Commits

Commits on Jan 5, 2024