((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[racket-dev] Closing pull requests

From: Neil Toronto (neil.toronto at gmail.com)
Date: Sun Nov 18 01:30:49 EST 2012		 
How do I close pull requests made to the plt/racket repo on GitHub? Am I 
authorized to do that in the first place?

Neil ⊥
Posted on the dev mailing list.