On Jun 2, 2020, at 10:37 PM, Frederik Harwath wrote:
>
> Frederik Harwath writes:
>
> ping :-)
Ok.
>> Frederik Harwath writes:
>>
>> Hi Rainer, hi Mike,
>> ping: https://gcc.gnu.org/pipermail/gcc-patches/2020-May/545803.html
>>
>> Best regards,
>> Frederik
>>
>>> Hi Thomas,
>>>
>>> Thoma
Hi!
Given that nobody is available to review/approve this patch, and it
cannot really cause any harm, will my (old) review/"non-formal approval"
be sufficient for Frederik to push this? Or, in other words: Frederik,
please push if nobody objects within the next week.
Grüße
Thomas
On 2020-06-
Frederik Harwath writes:
ping :-)
> Frederik Harwath writes:
>
> Hi Rainer, hi Mike,
> ping: https://gcc.gnu.org/pipermail/gcc-patches/2020-May/545803.html
>
> Best regards,
> Frederik
>
>> Hi Thomas,
>>
>> Thomas Schwinge writes:
>>
>>> I can't formally approve testsuite patches, but did a re
