civodul pushed a change to tag 1.5.3 in repository guix. *** WARNING: tag 1.5.3 was deleted! ***
was 6016bcd Update release notes for Nix 1.5.3
The revisions that were on this tag are still contained in
other references; therefore, this change does not discard any commits
from the repository.
