Athanasius c2dc5a62f1 Update RELEASING.md for using full version numbers. ...

I've also re-done the release actions/order to actually push the
release-A.B.C.D branch up to github, along with the rel-A.B.C.D tag on
its HEAD.  This way the final release step is a merge of release-A.B.C.D
into releases, which could even be done directly on github.

2020-06-28 16:17:14 +01:00

..

RELEASING.md

Update RELEASING.md for using full version numbers.

2020-06-28 16:17:14 +01:00