
<html><head></head><body>Benny,<br>

<br>

Is there something I can do next time I see it to help you diagnose it? Let me know.<br>

-sam<br><br><div class="gmail_quote">On October 6, 2017 4:43:40 AM EDT, "Benny Kjær Nielsen" <mailinglist@freron.com> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<pre class="k9mail">On 5 Oct 2017, at 21:14, Shoshanna Green wrote:<br /><br /><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #729fcf; padding-left: 1ex;"> Quitting and restarting would fix it, and because I could never <br /> connect it to a specific trigger, I didn't bother complaining about <br /> it; it seemed to occur completely randomly.<br /></blockquote><br />This is the main problem with this bug (and I'm sure it's a bug). It's <br />hard to reproduce and therefore hard to fix.<br /></pre></blockquote></div></body></html>