Hi all, I have just released flint-2.7.1. This fixes a number of (serious) bugs and build issues with the recent flint-2.7.0.
A list of changes can be found in our NEWS file [1]. Please report any bugs to our GitHub issue tracker. Best Wishes, Bill. [1] https://github.com/wbhart/flint2/blob/trunk/NEWS -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to mpir-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/mpir-devel/CAB0xFnv6XgZc85ZT52iypB4O3iJj1jM%2B3cX5xxy-oSEd0kDbyA%40mail.gmail.com.
