https://github.com/NixOS/nixpkgs/pull/219414
I don’t have commit privileges, so I can’t edit the commit message myself, but otherwise the PR is fine. The guy who filed the PR hasn’t been responding.
https://github.com/NixOS/nixpkgs/pull/219414
I don’t have commit privileges, so I can’t edit the commit message myself, but otherwise the PR is fine. The guy who filed the PR hasn’t been responding.