[vlc-devel] [PATCH 2/2] Print(Color)Msg: display 32bits ID

[Rafaël Carré]

Le 18/11/2013 20:24, Rémi Denis-Courmont a écrit :
> Le lundi 18 novembre 2013, 19:45:02 Rafaël Carré a écrit :
>> Le 18/11/2013 19:05, Rémi Denis-Courmont a écrit :
>>> Le lundi 18 novembre 2013, 18:58:03 Rafaël Carré a écrit :
>>>> Use simple CRC to have a unique 32bits ID even with x86_64 pointers
>>>
>>> And when running a debugger, we get the object pointers how?
>>
>> I never typed a pointer from the console into gdb, I use breakpoints to
>> get the object pointers.
> 
> This is not about Just You.

This Is Why I Send The Patch

>>    Copyright (C) The Internet Society (1998).  All Rights Reserved.
> 
> http://www.ietf.org/rfc/rfc5377.txt
> 
> Especially §4.3 and §4.5. Note this is predated by the CRC document and thus 
> inapplicable...

If it is inapplicable why quote it?