Julien Puydt Thu, 02 Jul 2020 02:03:17 -0700
Hi, I reported the issue to upstream 11 days ago :
https://github.com/wbhart/flint2/issues/771 JP