[nauty] branch build deleted (was 295795e)

[Jerome Benoit]

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

calculus-guest pushed a change to branch build
in repository nauty.

       was  295795e   Merge branch 'master' into build

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/debian-science/packages/nauty.git