On Fri, Sep 2, 2016, at 08:09 CDT, carsten.burste...@gmail.com wrote: > This is a fairly old p4est/master. Could you try p4est/develop? > 9379d0b5d243b1e72f5dded5d6946633e5e15656
Will do. -- You received this message because you are subscribed to the Google Groups "deal.II developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to dealii-developers+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
