Re: [PATCH] Fix compiling on CentOS 7.

[Mathieu Lirzin]

Roel Janssen <r...@gnu.org> writes:

> Thanks.  Mathieu, could you revert your patch, or do you want me to look
> at it?

Feel free to take care of it, unless someone strongly object this change
in the following days.

-- 
Mathieu Lirzin