On Tuesday, August 27, 2019 at 3:51:20 AM UTC-4, Marc Fehling wrote: > > > The patch has been merged. Let me know if this fix does the trick for you. >
It does! Thank you again for the quick support. Doug -- 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 dealii+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/dealii/909139d6-c061-48c7-9211-2c862baa22cf%40googlegroups.com.
