Fix: target-pointer-width field now expects an integer#1436

phil-opp merged 2 commits intopost-02phil-opp/blog_os:post-02from

post-02-fix-targetphil-opp/blog_os:post-02-fix-targetCopy head branch name to clipboard