On Friday, October 14, 2016 at 2:31:08 AM UTC+2, Matthias Maier wrote:
> On Thu, Oct 13, 2016, at 15:59 CDT, Denis Davydov <davy...@gmail.com
> Ps.: Denis, I am disappointed. You forgot to mention the most important
> feature. You can add emoticons to comments of others :-P
You will be surprised, but there is a reason for me not mentioning it....
it is not a part of September updated :-))))
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
For more options, visit https://groups.google.com/d/optout.