Verified+1: CI Bot Code-Review+2: Matthias Sohn Submitted-by: Matthias Sohn Submitted-at: Fri, 21 Sep 2018 17:29:06 -0400 Reviewed-on: https://git.eclipse.org/r/127847 Project: jgit/jgit Branch: refs/heads/master