On Sat, Feb 17, 2018 at 9:19 PM, Jerry James <loganjerry@xxxxxxxxx> 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 -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx