Sorry, forced commit to correct the log message of rev 1.319:
Remove trailing dots from release names in the list of release tags.