Pointer difference over void* is difference over char*#1631

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:fix-pointer-minus

Jan 5, 2018

Commits on Jan 5, 2018

Pointer difference over void* is difference over char*
tautschnig
committed