Skip to content

der: don't validate SetOf ordering after sorting#1481

Merged
tarcieri merged 1 commit into
masterfrom
der/remove-needless-setof-validation
Aug 18, 2024
Merged

der: don't validate SetOf ordering after sorting#1481
tarcieri merged 1 commit into
masterfrom
der/remove-needless-setof-validation

Commits

Commits on Aug 18, 2024