On Mon, Apr 23, 2018 at 11:28:19AM +0200, Pierre-Yves Chibon wrote:
Good Morning Everyone,
I re-wrote last week the script fixing the git hooks in dist-git, but its work
is getting overridden by the old script running in a cron (that Kevin fixed this
week-end).
That's a fail in Subject, let's try again in a new email
Sorry for the noise,
Pierre