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/e94d36e02fceb340bbd194d908b5bef527663acb?ds=inline;hp=e94d36e02fceb340bbd194d908b5bef527663acb replace int by uintptr_t ---