d99688bba4
Reading the release notes I got the impression that the latest (and default) was GR3.8, but it is in fact 3.9. Make that more obvioius. (cherry picked from commit c789c53ce55d26d4963b48cb109fd3f02838fa11)
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at https://nixos.org/nixos and in the manual in doc/manual.