Hi Bastian (2024.08.16_17:53:17_+0000) > > The Technical Committee is hoping that this will be resolved without > > requiring us to make a decision. If the take-over offer resolves the > > issue, then we will probably vote to take no further action. > > Well, take-over removes the need for talk. And talk is what is missing. > We can do it this way, but it make the load higher for everyone.
Noted that this is still not your preferred solution here. The Committee isn't set on that solution, if you find other ways to resolve this, that works for us, too. > But at least now Mathias actually told that his problems doesn't > actually exist in the Debian archive, but outside of it. That's kind of > unexpected. We don't cross build anything in the archive, so it isn't completely unexpected to me. > I have a patch to move the headers (or better said a symlink farm) to > /usr/*/include. But we are still without any indication if this is the > problem he talked about. That's exactly what's described in this bug's opening message and in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1059786#29 Bastian, I think you got caught up on the details of whether they needed to be symlinks or files, but I think either should work. Can I suggest posting this patch and seeing if Matthias thinks it's sufficient to resolve the issue? I understand your frustration with unclear details on exactly what was breaking and why. Reading the bugs, I think most of the questions about the problems are now answered somewhere in them. Stefano > > Bastian > > -- > You! What PLANET is this! > -- McCoy, "The City on the Edge of Forever", stardate 3134.0 > -- Stefano Rivera http://tumbleweed.org.za/ +1 415 683 3272
