On Thu, Jan 12, 2017 at 9:55 PM, Karl O. Pinc <kop(at)meme(dot)com> wrote:
> On Thu, 12 Jan 2017 13:14:28 +0100
> Gilles Darold <gilles(dot)darold(at)dalibo(dot)com> wrote:
>
>> My bad, I was thinking that Karl has planned an update of the patch in
>> his last post, sorry for my misunderstanding.
>
> I was, but have been swept along by events and not gotten to it.
No problem. Thanks for the update.
--
Michael