dangling pointers: turn some consequences of the definition into notes - #2336
Open
RalfJung wants to merge 1 commit into
Open
dangling pointers: turn some consequences of the definition into notes#2336RalfJung wants to merge 1 commit into
RalfJung wants to merge 1 commit into
