Re: 2.17.1

[Graham Percival]

On Thu, Aug 30, 2012 at 05:35:51PM +0100, Phil Holmes wrote:
> ----- Original Message ----- From: "David Kastrup" <address@hidden>
> To: <address@hidden>
> Sent: Wednesday, August 29, 2012 11:04 PM
> Subject: Re: 2.17.1
> 
> >So since Phil took a bit of time after forking the unstable release
> >branch to finish making the release, there are about 9 commits marked
> >"Fixed_2_17_1" which have to be changed to "Fixed_2_17_2" since they
> >missed the proper time to actually make it into 2.17.1.
> 
> This implies that I should update VERSION soon after I start a GUB
> run. @John/GP - is that correct?

No, since the GUB run may fail for any number of reasons.  We
don't normally have very many commits being submitting between the
start of a GUB run and a successful push, so I think it's safer to
continue as written in the CG for now.

If it's still a problem in a month or two, let's revisit this
question.

- Graham