On 11/3/21 4:23 AM, Martin Liška wrote:
Hello.

The renaming patch fixes a -Wodr warning seen and reported in the PR.

Patch can bootstrap on x86_64-linux-gnu and survives regression tests.

Thanks for handling this!

Martin

Reply via email to