tree dd49daf23faafa1412b5b26ae105cdc28adc6cd4
parent 53d8a40f8b5ff96f7eb26820b76d48ebf1485717
author Luca Milanesio <luca.milanesio@gmail.com> 1709343642 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1709343642 +0000

Document the accidental rewind of JGit to 5ae8d28fa

Change-Id: I316d9853ea3bd4a6ce877370fefd619cf5ac9136