Martin Liška writes:
> On 12/6/22 15:47, Gaius Mulley wrote:
>> |Hi Martin, here is the revised patch having applied all previous
>> recommendations:
>> https://gcc.gnu.org/pipermail/gcc-patches/2022-October/603436.html. Is
>> this ok now? Thanks for the improvement suggestions.|
>
> Hello.
>
>
On 12/6/22 15:47, Gaius Mulley wrote:
> |Hi Martin, here is the revised patch having applied all previous
> recommendations:
> https://gcc.gnu.org/pipermail/gcc-patches/2022-October/603436.html. Is this
> ok now? Thanks for the improvement suggestions.|
Hello.
It looks much better and I'm
Hi Martin,
here is the revised patch having applied all previous recommendations:
https://gcc.gnu.org/pipermail/gcc-patches/2022-October/603436.html.
Is this ok now? Thanks for the improvement suggestions.
--8<--8<--8<--8<--8<--8<
diff -ruw
