tree 895cb9b789a950d288b1dd49dd79b78120e0d8da
parent 664c41081adb4d799437bb3ba37f516ba09bc348
author Antonio García-Domínguez <agarcdomi@gmail.com> 1575119174 +0000
committer Antonio García-Domínguez <agarcdomi@gmail.com> 1575124614 +0000

jgit: fix for manager not set in commits (refs #552698)