Hi again, While looking at the patches I interacted with on issues.guix.gnu.org, I noticed a small issue: the commit message summary lacks a dot at the end. Denis.