tree cecdd93f56ae46a1303182fb5a9f012c76f67698
parent 4831c1905c90ee6d0ca3fcc593462955c848afd9
parent e09dc83af9f6f7f53dea645e9021ebc28f3fbbe4
author Luca Milanesio <luca.milanesio@gmail.com> 1732146284 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1732146284 +0000

Merge branch 'stable-3.9' into stable-3.10

* stable-3.9:
  De-register deleted repositories from the JGit RepositoryCache

Change-Id: Id349fd418c38a0c55b52e368e0531912dec9a7d5