On 10 March 2018 at 22:49, Graham Inggs <ginggs at debian.org> wrote: > Would anyone object to me amending the commit message and force pushing it? No objections, no recent commits, and checked with elbrus on irc, so force pushed.