tree 2440a2b7dcc52611954cd65bb26b874ec460ac7e
parent 6394a2a2ee95d97d1aa0fca45670fced9a409a7a
parent 3a747d2fec54850f5efdcabadf80d25940ecd177
author Luca Milanesio <luca.milanesio@gmail.com> 1731612784 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1731612784 +0000

Merge "Bump JGit to d34f8b523 (stable-6.10)"