diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-08-30 12:18:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-30 12:18:46 +0200 |
| commit | 00f9957552180ef44fe5fab98f7d09cd15d99506 (patch) | |
| tree | b02e4ce7aa1742068266d1f50b18255fd750dfbb /default.nix | |
| parent | af94b54db3a2be100731a215cb5e95f306471731 (diff) | |
| parent | 92778a5f80d6f5c17e4ad09f7cbf0839341f2398 (diff) | |
Merge pull request #5192 from hercules-ci/non-null-pos
Force all Pos* to be non-null
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions