diff options
| author | Vincent Laporte | 2019-01-31 09:21:33 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-01-31 09:21:33 +0000 |
| commit | c69fd5fa6d0f2c596e757390ea92c71703ee035c (patch) | |
| tree | c52a5e271e7a55c255501c5353ef566795500a07 /dune | |
| parent | 81c6a88eb261c9e130aff73f2d5bc1ee1f7e0758 (diff) | |
| parent | afdea7f8f812a4f040a325fef363dd16dd0628c3 (diff) | |
Merge PR #9442: Update pinned nixpkgs.
Ack-by: Zimmi48
Reviewed-by: vbgl
Diffstat (limited to 'dune')
0 files changed, 0 insertions, 0 deletions