Closed mattmcdermott closed 1 year ago
Quick fix that addresses #735.
Converts the list of user-provided elements to a set so that duplicates are removed.
Thanks @mattmcdermott!
Quick fix that addresses #735.
Converts the list of user-provided elements to a set so that duplicates are removed.