2017-12-11 05:00 CET

View Revisions: Note 916

Summary 0000419: Pointer size increments by 4 on 64 bit