"Kewen.Lin" writes:
> Hi Richard,
>
> Thanks for the comments!
>
> on 2020/6/29 下午6:07, Richard Sandiford wrote:
>> Thanks for the update. I agree with the summary of the IRC discussion
>> except for…
>>
>> "Kewen.Lin" writes:
>>> Hi Richard S./Richi/Jim/Segher,
>>>
>>> Thanks a lot for your
Hi Richard,
Thanks for the comments!
on 2020/6/29 下午6:07, Richard Sandiford wrote:
> Thanks for the update. I agree with the summary of the IRC discussion
> except for…
>
> "Kewen.Lin" writes:
>> Hi Richard S./Richi/Jim/Segher,
>>
>> Thanks a lot for your comments to make this patch more