Re: git hooks update

[Joseph Myers]

The new version of the hooks is now in use for the production repository.

-- 
Joseph S. Myers
jos...@codesourcery.com