19 Jan
2023
19 Jan
'23
12:18 p.m.
On Thu, Jan 19, 2023 at 11:10 AM Fabio Estevam festevam@gmail.com wrote:
Hi Peter,
On Thu, Jan 19, 2023 at 8:04 AM Peter Robinson pbrobinson@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?