Processed: found 1102350 in 15-20250406-1

Processing commands for cont...@bugs.debian.org: > found 1102350 15-20250406-1 Bug #1102350 [libstdc++-15-dev] libstdc++-15-dev: libstdc++-modules.json points at wrong location Marked as found in versions gcc-15/15-20250406-1. > thanks Stopping processing here. Please contact me if you need assi

Processed: Re: Bug#1102350: libstdc++-15-dev: libstdc++-modules.json points at wrong location (was: cmake 4.0 couldn't find correct std module source file)

Processing control commands: > reassign 1102350 libstdc++-15-dev Bug #1102350 [cmake] cmake 4.0 couldn't find correct std module source file Bug reassigned from package 'cmake' to 'libstdc++-15-dev'. No longer marked as found in versions 4.0.0. Ignoring request to alter fixed versions of bug #1102