civodul pushed a change to annotated tag 1.11.10 in repository guix. *** WARNING: tag 1.11.10 was deleted! ***
tag was e5187d3 The revisions that were on this annotated tag are still contained in other references; therefore, this change does not discard any commits from the repository.
