diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-03-11 14:53:45 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-03-11 14:53:53 -0400 |
| commit | b86dc506337021c84fe836aed3fcaf1a643cc462 (patch) | |
| tree | 50a61fc0d95e66456c0157e770d96fafa612c99e /src/Utility/ThreadScheduler.hs | |
| parent | 6ce4b7c072d31bf745bc1c59d21544b6d52dbc4c (diff) | |
Changed Chroot data type to include Info propigation
This will allow for different Chroots that propigate info differently.
hostChroot will use this.
This commit was sponsored by Peter Hogg on Patreon.
Diffstat (limited to 'src/Utility/ThreadScheduler.hs')
0 files changed, 0 insertions, 0 deletions