Re: [PING*2][PATCH v1 0/2] Fix the right shift of negative numbers

Tom Tromey
2024-04-23T14:46:46Z

>>>>> "Sergey" == Sergey Kaplun <sergey_v_kaplun@mail.ru> writes:

Sergey> Hi, guys!
Sergey> I see that my patch fixes the 31590 issue [1].

Sergey> [1]: https://sourceware.org/bugzilla/show_bug.cgi?id=31590

Hi. Do you have a copyright assignment in place?
I think we'll probably need one for this series.

Tom