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