diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-05-27 17:55:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-27 17:55:57 +0200 |
| commit | 61ddfa154bcfa522819781d23e40e984f38dfdeb (patch) | |
| tree | 9ea66a6fb3fe926e5ac5e4d4afd21a4158c98e63 /doc/manual/theme | |
| parent | 940e9eb8dd6deacb2e41aca91d65bd0e616011d6 (diff) | |
| parent | d16a1994fb6048d4ea48090c5aabafb7ad89c84f (diff) | |
Merge pull request #8399 from tweag/fix-chrooted-stores-error-path
Properly report build errors on chrooted stores
Diffstat (limited to 'doc/manual/theme')
0 files changed, 0 insertions, 0 deletions