For many months, now, my github notifications of repository commits have been marked like this one, with “this service has been marked for deprecation.” Is there another way to get these e-mails, or are we just resigned to allowing this to disappear?
Apologies if (as seems likely) I’ve missed discussion of this. John > Begin forwarded message: > > From: Andrew Kent <[email protected]> > Subject: [racket/typed-racket] b46d65: fix domain printing for rest args > Date: October 16, 2018 at 10:58:03 AM PDT > To: [email protected] > Reply-To: Andrew Kent <[email protected]> > > Branch: refs/heads/master > Home: https://github.com/racket/typed-racket > Commit: b46d656cd228487acb4be54191cbeb967157f6af > > https://github.com/racket/typed-racket/commit/b46d656cd228487acb4be54191cbeb967157f6af > Author: Andrew Kent <[email protected]> > Date: 2018-10-16 (Tue, 16 Oct 2018) > > Changed paths: > M typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt > > Log Message: > ----------- > fix domain printing for rest args > > > > **NOTE:** This service has been marked for deprecation: > https://developer.github.com/changes/2018-04-25-github-services-deprecation/ > > Functionality will be removed from GitHub.com on January 31st, 2019. -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
