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