Re: [PATCH v2 01/12] Zero-initialize linux note sections

Tom Tromey
2018-08-10T20:50:13Z

>>>>> "Pedro" == Pedro Franco de Carvalho <pedromfc@linux.ibm.com> writes:

Pedro> Ok! I'll add the comment below.

Thank you.

Tom