On Sat, Feb 17, 2018 at 9:19 PM, Jerry James <loganjerry(a)gmail.com> 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/