Commit 7d3cafa2 authored Dec 08, 2020 by Andreas Klöckner

Merge branch 'stop-using-pytools-any-all' into 'master'

Stop using pytools.{any,all}

See merge request !38