Frederic Riss <frederic.r...@gmail.com> writes: > On 22 October 2010 20:17, Ian Lance Taylor <i...@google.com> wrote: >> Frederic Riss <frederic.r...@gmail.com> writes: >>> OK... what's the best way forward on this? Do we just leave it as it >>> is and wait until an official port needs complains about it? Should it >>> be filled in bugzilla? >> >> Did you just happen to come across this, or is this relevant for a port >> you are working on? > > I came accross that while working on a port, however I don't know > if/when it will be opened. I suppose that if the port wants to be > integrated one day, then a fix for that issue might be part of the > patch series for that port?
If you have a patch that works for your port, and a good argument to support it, and an explanation for why it doesn't affect current ports, that is sufficient to send a patch. Thanks. Ian
