[ghc-steering-committee] ICFP Meetup?

Hi Committee! How many of us will be at ICFP next week? Shall we meet up again at some point? There are a couple things that I think might be worthwhile for us to reflect on and discuss: 1. The GitHub vs ML question. Richard argued a few weeks back that the pure GitHub strategy wasn't working very well, and a few of us agreed with him but the discussion didn't go any further. 2. The ExtraCommas proposal left quite a few valued members of the community dissatisfied, in ways that I think we could have prevented (e.g. the excessively long deliberation period and the confusion around the vote). I'll be around all week. Eric