tree dda8290a5747926ffde1062a8403af63928cd736
parent 2d0ce01d876b934c71d1a411e3877c808cfde04e
parent c443a5ca564533870ec1e3284b2bc0a69ad345d6
author Luca Milanesio <luca.milanesio@gmail.com> 1732146237 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1732146237 +0000

Merge branch 'stable-3.8' into stable-3.9

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

Change-Id: I5fa83b353638ef873ed119054742d7c6004f4bdc