[mumps] annotated tag upstream/5.1.2 created (now bad7dee)

[Drew Parsons]

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

dparsons pushed a change to annotated tag upstream/5.1.2
in repository mumps.

        at  bad7dee   (tag)
   tagging  b78683d476f94a79bff7c84af62c3765f775882c (commit)
  replaces  upstream/5.1.1
 tagged by  Drew Parsons
        on  Wed Nov 29 19:58:04 2017 +0800

- Log -----------------------------------------------------------------
Upstream version 5.1.2

Drew Parsons (2):
      include empty lib dir
      New upstream version 5.1.2

-----------------------------------------------------------------------

No new revisions were added by this update.

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