I think https://github.com/NixOS/nixpkgs/pull/85408 is ready to merge? not sure if it needs another review, I am new to the process
Has seen some feedback; just looking to merge.
2 reviews (though by non-maintainers):
It would be awesome to get a few more reviews here: https://github.com/NixOS/nixpkgs/pull/75800
Ready to go AFAICS:
A trivial diff: https://github.com/NixOS/nixpkgs/pull/91146
A trivial diff and already 15 days old: https://github.com/NixOS/nixpkgs/pull/93822
This has been pending for half a year and is a harmless merge.