]> source.dussan.org Git - jgit.git/commitdiff
Merge "Cherry-Pick: Support --mainline to pick merges"
authorRobin Rosenberg <robin.rosenberg@dewire.com>
Mon, 19 May 2014 19:43:22 +0000 (15:43 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Mon, 19 May 2014 19:43:22 +0000 (15:43 -0400)

Trivial merge