-
Richard Sandiford authored
Fix another case in which a name in the commit message wasn't copied to the ChangeLog -- sorry! From-SVN: r272553
Richard Sandiford authoredFix another case in which a name in the commit message wasn't copied to the ChangeLog -- sorry! From-SVN: r272553
To find the state of this project's repository at the time of any of these versions, check out the tags.