Skip to content

Merge from develop to production

Florian Sesserrequested to merge
develop into production

... to fix the weekly nixpkgs update script.

Merge request reports