diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-09-17 13:46:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-17 13:46:26 +0200 |
| commit | b94a35ef40437e8ba6eff561697e7d4a6b8d053a (patch) | |
| tree | 1ea99bc5f549aee5aea1284e7fe894ba896a82bf /m4 | |
| parent | fe5cbfd48ff863f21a20b84e324ecfd6395673cb (diff) | |
| parent | 520895b1dac1b82be9f571df3981a15cfada2968 (diff) | |
Merge pull request #4027 from tweag/fix-gc-of-ca-derivations
Fix garbage collection of CA derivations
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions