On Thu, Jan 19, 2023 at 11:10 AM Fabio Estevam <feste...@gmail.com> wrote: > > Hi Peter, > > On Thu, Jan 19, 2023 at 8:04 AM Peter Robinson <pbrobin...@gmail.com> wrote: > > > So how do you propose to fix the issue I have which this fixes? > > Ok, we need some more information here:
Did you read the original thread? > - What is the exact problem you are trying to solve? How can we reproduce it? Building that tool with the tools only option. > - Is it a regression? What is the commit that caused the problem you > are trying to solve?
