tree 166c565952e0d2249c2e756d47f5f120674c1d93
parent bcabdab96eaf6b90532bd39be9f83ddafb7ba7cd
author Luca Milanesio <luca.milanesio@gmail.com> 1712453776 -0700
committer Luca Milanesio <luca.milanesio@gmail.com> 1712453776 -0700

Adapt to replication api changes on stable-3.10

The ReplicationPushFilter has been moved in stable-3.10
to the api package.

Change-Id: Ibdc23667a772b323c11409267c952aaf2631b145