Commit f99a91ef authored Oct 17, 2019 by Andreas Klöckner

Merge branch 'make-stringifier-port' into 'master'

Port away from deprecated method

See merge request inducer/pytential!184