https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116007

--- Comment #22 from Thomas Petazzoni <thomas.petazz...@free-electrons.com> ---
Thanks for the patch, I confirm it fixes the build issue I was seeing!

Reply via email to