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.