Release version in Git.

[Ian Campbell]

You forgot to include the list, I've put it back.

On Mon, 2018-09-17 at 09:30 -0400, Raymond Martin wrote:
> I definitely have the repository up to date. I will try to change
> branches.
> 
> It just seemed to me that if a release is made it should be at the
> head and not a separate branch.

The release in question was a _point_ release on a stable branch, not a
full new/major release, that's a very common arrangement for a repo
(and for release management in general).

Ian.