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