[linux] branch benh/merge-linux-tools deleted (was df9fdb5)

[debian-kernel at lists.debian.org]

This is an automated email from the git hooks/post-receive script.

benh pushed a change to branch benh/merge-linux-tools
in repository linux.

       was  df9fdb5   debian/rules.real: Define VERSION in tool builds again

The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/kernel/linux.git