Yeah, maybe some misconfigured spam filter is the culprit. Anyway, the
bug is fixed now :)
On 04/28/2015 11:13 PM, Sam Tobin-Hochstadt wrote:
Strangely, Matthew's email to this bug got through fine, and your email
successfully went to the bug-notification email list, but not to the
tracker. I wonder if there's a filter somewhere for that account that
caught this.
Sam
On Sat, Apr 25, 2015 at 3:16 PM Juan Francisco Cantero Hurtado <
i...@juanfra.info> wrote:
Hi, I sent a reply to an old bug report (15008) and the mail apparently
didn't arrive. Is the bug tracker working? Should I migrate the bug to
github?
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Racket
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
