From: Ralf Jung Date: Mon, 14 Dec 2020 17:49:22 +0000 (+0100) Subject: replace int by uintptr_t X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/663f0b41cbd81bf1e419ae911bd21fc88d2e3046?hp=663f0b41cbd81bf1e419ae911bd21fc88d2e3046 replace int by uintptr_t ---