Revise ChangeLog entry of previous commit to credit Richard Sandiford
This page took 0.07721 seconds and 3 git commands to generate.