Skip to content

der: add diagnostic::on_unimplemented attributes#1876

Merged
tarcieri merged 1 commit intomasterfrom
der/add-diagnostic-on_unimplemented
Jun 20, 2025
Merged

der: add diagnostic::on_unimplemented attributes#1876
tarcieri merged 1 commit intomasterfrom
der/add-diagnostic-on_unimplemented

Commits

Commits on Jun 20, 2025