Many thanks. Andrea
> On Apr 17, 2017, at 10:02 AM, Daniel Arndt > <daniel.ar...@iwr.uni-heidelberg.de> wrote: > > Andrea, > > This should be fixed upstream now. Have a look at PR #4265 [1]. > > Best, > Daniel > > [1] https://github.com/dealii/dealii/pull/4265 > > -- > The deal.II project is located at http://www.dealii.org/ > <http://www.dealii.org/> > For mailing list/forum options, see > https://groups.google.com/d/forum/dealii?hl=en > <https://groups.google.com/d/forum/dealii?hl=en> > --- > You received this message because you are subscribed to a topic in the Google > Groups "deal.II User Group" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/dealii/prizeoKdOi0/unsubscribe > <https://groups.google.com/d/topic/dealii/prizeoKdOi0/unsubscribe>. > To unsubscribe from this group and all its topics, send an email to > dealii+unsubscr...@googlegroups.com > <mailto:dealii+unsubscr...@googlegroups.com>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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. For more options, visit https://groups.google.com/d/optout.
