[petsc] branch master updated (9aebd0d -> a13e4b1)

[Drew Parsons]

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

dparsons pushed a change to branch master
in repository petsc.

      from  9aebd0d   upload 3.7.4+dfsg1-5 to unstable
      adds  9295271   only manipulate header docs when the doc package is being built
      adds  a13e4b1   upload 3.7.4+dfsg1-6 to unstable

No new revisions were added by this update.

Summary of changes:
 debian/changelog |  7 +++++++
 debian/rules     | 21 ++++++++++++---------
 2 files changed, 19 insertions(+), 9 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/petsc.git