Skip to content

Display an error if the aggregation is empty#236

Merged
martinbonnin merged 2 commits intomainfrom
error-if-empty
Dec 31, 2025
Merged

Display an error if the aggregation is empty#236
martinbonnin merged 2 commits intomainfrom
error-if-empty

Commits

Commits on Dec 31, 2025