[SCM] GNU Libtool branch, praiskup-ARFLAGS, deleted. v2.4.6-6-ge503ccc

[Pavel Raiskup]

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, praiskup-ARFLAGS has been deleted
       was  e503ccc64bcac5a80766876fe985937194d4cf12

-----------------------------------------------------------------------
e503ccc64bcac5a80766876fe985937194d4cf12 maint: relax 'sc_prohibit_test_dollar' 
check
-----------------------------------------------------------------------


hooks/post-receive
-- 
GNU Libtool