<div dir="auto"><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr"><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><blockquote type="cite"><div dir="ltr">
        <div class="gmail_default" style="font-family:garamond,times new roman,serif;font-size:small"><br>
        </div>
      </div>
    </blockquote>
    <p>I spoke too soon. I get an email for
<a href="https://gitlab.common-lisp.net/cmucl/cmucl/-/merge_requests/93#note_11478" target="_blank" rel="noreferrer">https://gitlab.common-lisp.net/cmucl/cmucl/-/merge_requests/93#note_11478</a>
      but I responded to that comment in
<a href="https://gitlab.common-lisp.net/cmucl/cmucl/-/merge_requests/93#note_11479" target="_blank" rel="noreferrer">https://gitlab.common-lisp.net/cmucl/cmucl/-/merge_requests/93#note_11479</a>
      and didn't receive an email.</p>
    <p>Bummer.<br>
    </p>
    <blockquote type="cite">
      <div dir="ltr">
        <div>
          <div dir="ltr" data-smartmail="gmail_signature">
            <div dir="ltr"><font face="garamond, times new roman, serif">—jon</font></div></div></div></div></blockquote></div></blockquote></div><div dir="auto"><br></div><div dir="auto">Are you sure it's supposed to send you emails for your own comments?</div><div dir="auto"><br></div><div dir="auto"><br></div><div class="gmail_quote" dir="auto"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><blockquote type="cite"><div dir="ltr"><div><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr">.</div></div></div></div>
    </blockquote>
  </div>

</blockquote></div></div>