]> source.dussan.org Git - jgit.git/commitdiff
Merge "Push: Ensure ref updates are processed in input order"
authorDavid Pursehouse <david.pursehouse@gmail.com>
Fri, 13 Apr 2018 21:43:12 +0000 (17:43 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Fri, 13 Apr 2018 21:43:12 +0000 (17:43 -0400)

Trivial merge