How-to back-port a Change using Git

Draft -- untested

1. Switch to the 1.5 maintenance branch

   git checkout release-1.5.2
   git cherry-pick <commit from develop>
   

2. Mind updating doc/CHANGES.txt -- this change was important enough to be back-ported.

   $EDITOR doc/CHANGES.txt
   

See also:

• ​http://stackoverflow.com/questions/1440181/how-do-i-backport-a-commit-in-git