tree 66eb63dbdd938b2d290b308af2d3f39faf397a85
parent adac979185fcbe8bcb22450ceb0b9f5fc27450f7
parent b4e6c902183b65b9f9d826278fc71c890d9f52e7
author Luca Milanesio <luca.milanesio@gmail.com> 1750427151 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1750427151 +0100

Merge branch 'stable-3.10' into stable-3.11

* stable-3.10:
  Manage change deletion performed by pull-replication

Change-Id: I6670127cca44c2f937659b9fff5ee9fb973e85a5