diff options
| author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2023-07-28 17:26:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-28 17:26:24 +0200 |
| commit | fd304ecc8ac7cc8a0348c48908331e6da1426104 (patch) | |
| tree | b556c27bef1fbb730cb77f8cc41f01b494f9761c /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 56fc24812e203b86aae87248569de8a18027d039 (diff) | |
| parent | 53135cc8c7e8fa6d562bea8fc68dc5b553a7e76a (diff) | |
Merge pull request #236027 from iliana/grub-dont-die
nixos/grub: don't die on EFI-only systems if devices != ["nodev"]
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions