Fix bug in IO manager when number of capabilities is changed; fixes #8087
[ghc.git] / libraries /
drwxr-xr-x   ..
drwxr-xr-x - base