Re: [PATCH] guix lint: at the "checking" line, make sure to delete the old line's text before overwriting it (with a possibly shorter text).

[Ludovic Courtès]

Danny Milosavljevic <address@hidden> skribis:

> * guix/scripts/lint.scm (run-checkers): at the "checking" line, make sure to 
> delete the old line's text before overwriting it (with a possibly shorter 
> text).

Applied.  I changed the commit log to more closely match our
conventions.

It’s one of these annoyances that we all like to see disappear, so
thank you!

Ludo’.