Skip to content

Attributor: Use use_empty instead of getNumUses == 0#136339

Merged
arsenm merged 1 commit intomainfrom
users/arsenm/attributor/use-use-empty-instead-getNumUses
Apr 18, 2025
Merged

Attributor: Use use_empty instead of getNumUses == 0#136339
arsenm merged 1 commit intomainfrom
users/arsenm/attributor/use-use-empty-instead-getNumUses

Commits

Commits on Apr 18, 2025