On Thu, Nov 2, 2017 at 5:07 PM, Eli Zaretskii <eliz@gnu.org> wrote:

> From: João Távora <joaotavora@gmail.com>
> Date: Thu, 2 Nov 2017 17:03:18 +0000
> Cc: Dmitry Gutov <dgutov@yandex.ru>, 28814@debbugs.gnu.org
>
> Ping. This was very close to wrapping up and so I wonder if you
> had a chance to look at the patches...

Your opinion on the amount of free time I have is too optimistic...

Sorry, I indeed took it from the otherwise quick rhythm of the exchange

that it had slipped your queue, but I don't have any kind of opinion on your

free time (if anything sometimes I wonder if you guys sleep at all).

João Távora