[Qa-jenkins-scm] [jenkins.debian.net] branch h01ger/use-disorderfs deleted (was 80e6baa)

[Holger Levsen]

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

holger pushed a change to branch h01ger/use-disorderfs
in repository jenkins.debian.net.

       was  80e6baa   reproducible: only use disorderfs if it's available

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/qa/jenkins.debian.net.git