On Fri, May 4, 2018 at 12:34 AM, jlistspam <jlistspam at gmail.com> wrote: > ... Has anyone else seen this issue yet? Proposed patch (in the "it worked for me at least once" state) has been posted in trac ticket #13264.