Dear Wolfgang,
> Yes, indeed. Can you open a bug at > https://github.com/dealii/dealii/issues > for this? Any help in fixing this would of course be much appreciated! > > I have opened an issue at #2798 <https://github.com/dealii/dealii/issues/2798>. I will try to fix it. Best regards, Ce Qin -- 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]. For more options, visit https://groups.google.com/d/optout.
