php-proxy-manager (2.11.1+1.0.16-4) unstable; urgency=medium * Fix debci -- David Prévot <email address hidden> Thu, 15 Feb 2024 22:05:15 +0100