2018-05-27 15:41 CEST

View Revisions: Note 916

Summary 0000419: Pointer size increments by 4 on 64 bit