<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>