This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU Libtool".
The branch, branch-2-4 has been deleted
was 8bd508fba9dbdd04fb64be8e88fb4732a5bb6142
-----------------------------------------------------------------------
8bd508fba9dbdd04fb64be8e88fb4732a5bb6142 maint: fix a typo in THANKS.
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Libtool
