[GiNaC-devel] applying patches

[Richard B. Kreckel]

Alexei Sheplyakov wrote:
>> After having read the superb documentation of git for two hours: someone 
>> please enlighten me how to apply individual patches from master to the 
>> ginac_1.4 branch, too.
> 
> git checkout ginac_1-4 # if necessary
> git cherry-pick COMMIT-ID

Nice. Thank you!

   -richy.
-- 
Richard B. Kreckel
<http://www.ginac.de/~kreckel/>