Re: [GHC] #8208: iOS patch: Fix linker warnings