<div><br></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Dec 17, 2024 at 11:45 AM Tom Tromey <<a href="mailto:tom@tromey.com">tom@tromey.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">>>>>> "Flavio" == Flavio Cruz <<a href="mailto:flaviocruz@gmail.com" target="_blank">flaviocruz@gmail.com</a>> writes:<br>
<br>
Flavio> Otherwise, GDB will fail to compile for Hurd.<br>
<br>
Is this still relevant / necessary?</blockquote><div dir="auto"><br></div><div dir="auto">Yes, this is still relevant and can be applied cleanly.</div><div dir="auto"><br></div><div dir="auto">Thanks!</div><div dir="auto"><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex" dir="auto"><br>
<br>
If so it seems fine to me.<br>
<br>
Tom<br>
</blockquote></div></div>