Re: [deal.ii] Three tiny remarks

[Bangerth, Wolfgang]

> The line marked with (*) should be inside the "if" block that follows it.

Ah, yes, I was blind to the real problem. Thanks, I just committed a patch!
Best
 Wolfgang

_______________________________________________