Don’t feel like creating a new ticket. I just spent about a whole day finding a bug in deal 9.7.1 that is fixed in the master branch.
Is it about time to release at least 9.7.2? Victor. -- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/dealii/CH3PR06MB94848E651995C36B0AA9E4C79E102%40CH3PR06MB9484.namprd06.prod.outlook.com.
