On Thu, Jun 01, 2017 at 01:42:13PM +0200, Ludovic Courtès wrote:
> Leo Famulari <leo@famulari.name> skribis:
> 
> > I need to finish testing my changes to the website, and then we can push
> > this change.
> 
> Did you have a chance to test them?  Otherwise I can give it a try.

I tested and pushed the changes as 0283d72728f27867851511e377a945145224e44c but
I realized too late that I forgot to credit sirgazil in the commit log :( I'm
sorry for this.

Ludo, can you do the CVS push?