[gnumach] annotated tag debian/2%1.4-12 created (now 85c72fc)

[Samuel Thibault]

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

sthibault pushed a change to annotated tag debian/2%1.4-12
in repository gnumach.

        at  85c72fc   (tag)
   tagging  7171b6f69819532fdbc6f8d29441e2be79342196 (commit)
  replaces  debian/2%1.4-11
 tagged by  Samuel Thibault
        on  Sat Sep 6 11:02:57 2014 +0000

- Log -----------------------------------------------------------------
gnumach Debian release 2:1.4-12

Samuel Thibault (4):
      rules: Rebuild info documentation once
      patches/git-vm-tune.patch: New patch that tunes VM parameters.
      patches/git-vm_map.patch: New patch to fix vm_map with anywhere=true.
      upload

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

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-hurd/gnumach.git