Re: [GHC] #9561: Clean up mergeSATInfo