On Fri, Jun 26, 2015 at 5:27 PM, Marc-André Lureau <address@hidden> wrote:
Sorry which patch are you refering to?
You probably mean about the missing include: I wasn't aware such patch was already submitted, and I don't think it's a problem if two people identify the same issue and report a patch to fix it, quite the contrary.