Eli wrote:
I think that it might be a good idea to have the first kind of messages (the ones with the diffs) posted on this mailing list. Any objections? (They have headers that clearly mark them as originating from git, so it should be easy to ignore them but not ignore any replies to them -- in case there's comments on some code.)
Some of us get plt-dev as a digest. Now, I am eavesdropping to learn things, not as an active participant, so I have no right to complain, but I can't easily ignore messages in a digest. I'd have to unsubscribe. --PR
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
