On Fri, 17 Apr 2015 18:05:10 +0200Xose Vazquez Perez <xose.vazquez@gmail.com> wrote:> Could you take this patch?Applied to the docs tree. Thanks for calling my attention to it; itwasn't addressed to me and I would have missed it otherwise.jon