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