This is an automated email from the git hooks/post-receive script.
treinen pushed a change to branch fixMETAandPrinter
in repository dose3.
was 34e7ab1 add patches fixDebPrinter and fixMETA to fix botch FTBFS
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
Pkg-ocaml-maint-commits mailing list