[Users] git versions going backwards?

[Brian Morrison]

On Sun, 15 Sep 2013 15:11:40 +0100
Brad Rogers wrote:

> On Sat, 14 Sep 2013 15:16:45 +0100
> Brian Morrison <bdm at fenrir.org.uk> wrote:
> 
> Hello Brian,
> 
> >I see that today's git pull and build has created a 3.9.2git87
> >version, whereas after the last pull a couple of weeks ago it was
> >creating 3.9.2git90 when doing make dist.
> 
> Odd;  I've just don a git pull and got git91.
> 

Odder still, I've done the same pull and autogen & make dist, I have
git88 now.

I don't know enough about git to understand how this works.

-- 

Brian Morrison