Dear all, due to a system updated with unexpected consequences, our mailserver was down for a few days.
It's up and running again... at least as of now. Normally, queued mails will be delivered within the next 12 hours. After that, your mail may have got lost and you might consider reposting. Sorry for the inconvenience, Guido _______________________________________________ dealii mailing list http://poisson.dealii.org/mailman/listinfo/dealii
