Yes, superb work! Thanks for all your contributions, Michael!
On Fri, Aug 26, 2016 at 3:24 PM Dirk Stöcker
wrote:
> On Wed, 24 Aug 2016, Michael Zangl wrote:
>
> > Google summer of code has officially ended.
>
> and thus it's also time to thank Michael for all the work he did.
>
> I accepted t
On Wed, 24 Aug 2016, Michael Zangl wrote:
Google summer of code has officially ended.
and thus it's also time to thank Michael for all the work he did.
I accepted to be his mentor for this projects, but only after ensuring
that my two co-admins Paul and Vincent agreed to help me, because I
ex