Processing commands for cont...@bugs.debian.org:

> fixed 1015188 8.1.10-2
Bug #1015188 [src:php8.1] php8.1: records wrong path to sed when built on a 
system with /usr/bin/sed
The source 'php8.1' and version '8.1.10-2' do not appear to match any binary 
packages
Marked as fixed in versions php8.1/8.1.10-2.
> close 1015188 8.1.10-2
Bug #1015188 [src:php8.1] php8.1: records wrong path to sed when built on a 
system with /usr/bin/sed
The source 'php8.1' and version '8.1.10-2' do not appear to match any binary 
packages
Ignoring request to alter fixed versions of bug #1015188 to the same values 
previously set
Bug #1015188 [src:php8.1] php8.1: records wrong path to sed when built on a 
system with /usr/bin/sed
Marked Bug as done
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1015188: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1015188
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Reply via email to