document that extern statics may be bigger than the declared size - #2334
Open
RalfJung wants to merge 2 commits into
Open
document that extern statics may be bigger than the declared size#2334RalfJung wants to merge 2 commits into
RalfJung wants to merge 2 commits into