On Mon, Oct 07, 2013 at 08:57:18PM -0400, Trevor Woerner wrote: > Would the intent here be to replace 5.1.0 with 5.1.1? Or to have both > versions available and let the user choose? 5.1.1 is a minor patch-release in 5.1 series. There's no reason to keep both 5.1.0 and 5.1.1... -- Denys