Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Update to PR #64267, add missing release notes and documentation [19.09] #71056
Motivation for this change
Backport of #70887 for the 19.09 release.
This pull request has been mentioned on NixOS Discourse. There might be relevant details there: