mathlib
b7b1590e - chore(scripts/port_status): avoid assignment expression (#17581)

Commit

3 years ago

chore(scripts/port_status): avoid assignment expression (#17581) This syntax is relatively new and doesn't help all that much in this context.

Author

Ruben-VandeVelde

Parents