So the bug must have been introduced between March 2016 and April 2017. It
would be interesting to figure out which pull request caused this,
It was #4083: https://github.com/dealii/dealii/pull/4083
I think if you add the two lines back, that would work. Do you want to write
such a patch, or would you like to leave that to us?
Best
W.
--
------------------------------------------------------------------------
Wolfgang Bangerth email: [email protected]
www: http://www.math.colostate.edu/~bangerth/
--
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 on the web visit
https://groups.google.com/d/msgid/dealii/dfd34a71-e981-87fb-1257-d7bbd695e6c7%40colostate.edu.
