On Thu, Nov 2, 2017 at 5:07 PM, Eli Zaretskii wrote: > > From: João Távora > > Date: Thu, 2 Nov 2017 17:03:18 +0000 > > Cc: Dmitry Gutov , 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