On Wed, Jul 18, 2012 at 3:17 PM, Travis Oliphant <travis at continuum.io> wrote: > I don't have a strong preference. Which one do others prefer? > We've used 2) in the past, and I don't think Ralf changed this when he took over release maintenance. David