diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-04-11 22:48:05 +0000 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-04-11 22:48:05 +0000 |
| commit | 40b62f7aafd2983db80adc3445a39d79a85100c2 (patch) | |
| tree | ae6add1842826bea6df6f0e8d840228e5fb98016 /nongnu/packages/linux.scm | |
| parent | 22450afd709b3c23e0082592f9981ed3e8c05aad (diff) | |
| parent | 1b7a4319fa6b3f959cc925a6d713f0c111fb7c8f (diff) | |
Merge branch 'fix-compcert' into 'master'
nongnu: compcert: Fix a non-exhaustive match.
See merge request nonguix/nonguix!22
Diffstat (limited to 'nongnu/packages/linux.scm')
0 files changed, 0 insertions, 0 deletions