Re: 7.8 blockers

[Martin Baehr]

sorry, you are right,
you would not use the git-merge command for that though (which deals
with changesets only) but do git-checkout comitref -- filename

that's different from merging a changeset.

greetings, martin.