Processed: your mail

Processing commands for cont...@bugs.debian.org: > forwarded 889143 https://github.com/miniupnp/miniupnp/pull/279 Bug #889143 [minissdpd] man is out of date Set Bug forwarded-to-address to 'https://github.com/miniupnp/miniupnp/pull/279'. > End of message, stopping processing here. Please contact

Processed: Re: [php-maint] Bug#889128: php7.2: please make the build reproducible

Processing control commands: > forwarded -1 https://github.com/php/php-src/pull/3054 Bug #889128 [src:php7.2] php7.2: please make the build reproducible Set Bug forwarded-to-address to 'https://github.com/php/php-src/pull/3054'. -- 889128: