In case anyone is as mentally slow as I am right after lunch: I think
this is the gray button labeled like: "515 todos. Click here to see them."
Would it be good to have an automated monthly email to package owners,
itemizing the issues with each of their packages? (Each email address
would get no more than one email a month, and there would be no email to
an address when none of their packages had issues.)
--
You received this message because you are subscribed to the Google Groups "Racket
Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-dev/7de48c78-7535-c47c-e29e-4338f8426e4b%40neilvandyke.org.
For more options, visit https://groups.google.com/d/optout.