Robuta

https://www.eclipse.org/lists/jgit-dev/msg02999.html Re: [jgit-dev] Change 59345 in jgit/jgit[master]: bug 342372 - Patch add jgitdevchange