Re: [GHC] #13194: Concurrent modifications of package.cache are not safe (was: Concurrent modification of package.cache is not safe)