Please wait with any possible type switch couple more days, I’ll be back from 
vacations on Wednesday and I will check this by then. 

> Le 18 août 2019 à 17:05, Kamil Rytarowski <n...@gmx.com> a écrit :
> 
> Ping? Can we switch from intptr_t to void*?
> 
> I declare to fix fallout for it.
> 

Reply via email to