On Sat, Feb 17, 2018 at 9:19 PM, Jerry James <[email protected]> wrote:
> And it looks like the issue has been fixed.  Thanks, Mamoru.

Except that it hasn't.  Sorry, I misread the linked ticket as being
this one so, no, the issue is still ongoing.
-- 
Jerry James
http://www.jamezone.org/
_______________________________________________
devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to