MPS issue job004052

TitleRelease procedure does not update version document
Statusclosed
Prioritynice
Assigned userGareth Rees
Productproject
OrganizationRavenbrook
DescriptionRunning the release procedure for 1.116.0 updated the releases document [2] but not the versions document [1].
AnalysisNone.
How foundinspection
Evidence[1] https://www.ravenbrook.com/project/mps/version
[2] http://www.ravenbrook.com/project/mps/release
Created byGareth Rees
Created on2016-09-23 11:34:47
Last modified byGareth Rees
Last modified on2016-11-13 11:08:31
History2016-09-23 GDR Created.

Fixes

Change Effect Date User Description
192761 closed 2016-11-13 11:08:30 Gareth Rees Add release 1.116.0 to the version index.
Update branch and release tools so that releases get automatically added to the version index.