<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-cite-prefix">On 25/04/2023 09:00, Noel Grandin
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAFYHVnUzqKXEZVaVYMD+6Z9kvbz4ZhAPwdPrz1CZ1xAQt4qhdw@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">...
<div class="gmail_quote">
<div><br>
</div>
<div class="gmail_default"
style="font-family:tahoma,sans-serif">The actualy numbering
is fine, although the comments are wrong.</div>
</div>
</div>
</blockquote>
<p>Sorry reading my initial message and the title I gave, I just
completely forgot to make this precision.</p>
<p>I really meant numbering in the comments, the "real" numbering is
ok.</p>
<blockquote type="cite"
cite="mid:CAFYHVnUzqKXEZVaVYMD+6Z9kvbz4ZhAPwdPrz1CZ1xAQt4qhdw@mail.gmail.com">
<div dir="ltr">
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex"><br>
2) Are "V2" "V3" numbers in comments useful or can we remove
them to <br>
just keep the last real number ?<br>
<br>
</blockquote>
<div><br>
</div>
<div class="gmail_default"
style="font-family:tahoma,sans-serif">The comments are no
longer of any use and can be remove (IMO).</div>
</div>
</div>
</blockquote>
Great!<br>
<blockquote type="cite"
cite="mid:CAFYHVnUzqKXEZVaVYMD+6Z9kvbz4ZhAPwdPrz1CZ1xAQt4qhdw@mail.gmail.com">
<div dir="ltr">
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">Remark: ideally, I'd like
being able to do this in gdb:<br>
<br>
<br>
(gdb) p SDRATTR_TABLE_FIRST<br>
No symbol "SDRATTR_TABLE_FIRST" in current context.<br>
<br>
<br>
</blockquote>
<div><br>
</div>
<div class="gmail_default"
style="font-family:tahoma,sans-serif">no idea why that
doesn't work, maybe the linker is stripping unused symbols.</div>
</div>
</div>
</blockquote>
Ok<br>
</body>
</html>