Provide slightly better notes when tracking a pointer tag#1945

bors merged 1 commit intorust-lang:masterrust-lang/miri:masterfrom

saethlin:better-sb-trackingsaethlin/miri:better-sb-trackingCopy head branch name to clipboard