use quantify where needed#6569

Merged

NoahTheDuke merged 1 commit intomtgred:masterfrom

francescopellegrini:fix/use-quantify

Aug 28, 2022

Commits on Aug 28, 2022

use quantify where needed
francescopellegrini
committed