On Mon, 2013-01-21 at 17:10 +0000, Richard Shann wrote: > If you get a chance can you upgrade the branch mingw to have all the > latest features from master? I presume there is stuff on master which > must not be merged, to do with building normally? I have been reading up the git cherry-pick command and I think I now know how to do this myself. Shall I go ahead and update the mingw branch with the commits I have made to master?
Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
