On Fri, Dec 07, 2018 at 07:48:39PM +0100, Lætitia Avrot wrote:
> Here's the patch.
> The patch should apply to MASTER. I built and tested it successfully on my
> laptop.
>
> I'll add it to January's commitfest.
What's proposed here looks good to me, and all the grounds are
covered, so I am switching the patch as ready for committer.
Álvaro, perhaps you would prefer committing it yourself?
--
Michael