Skip to content

Fix zero-export handling with if any(f):#6569

Merged
glenn-jocher merged 2 commits intomasterfrom
fix/zero_export
Feb 8, 2022
Merged

Fix zero-export handling with `if any(f):`#6569
glenn-jocher merged 2 commits intomasterfrom
fix/zero_export

Commits

Commits on Feb 8, 2022