Re: [GHC] #13945: 'ghc-pkg update' fails due to bad file descriptor error