This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - fix(data/set/function): do not use reducible#12377

Closed

gebner wants to merge 1 commit intomasterfrom inj_semired

+7-7

Commits on Mar 1, 2022

fix(data/set/function): do not use reducible
gebner
committed