Skip to content

Make the aggregation non-lenient by default - #278

Merged
martinbonnin merged 1 commit into
mainfrom
non-lenient
Sep 10, 2026
Merged

Make the aggregation non-lenient by default#278
martinbonnin merged 1 commit into
mainfrom
non-lenient

Make the aggregation non-lenient by default

d3d9ae6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar