[minisat+] annotated tag debian/1.0-4 created (now 2bc561a)

[Ralf Treinen]

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

treinen pushed a change to annotated tag debian/1.0-4
in repository minisat+.

        at  2bc561a   (tag)
   tagging  84889720f21a2c20843539547d00578c111373eb (commit)
  replaces  debian/1.0-3
 tagged by  Ralf Treinen
        on  Sun Feb 19 19:55:54 2017 +0100

- Log -----------------------------------------------------------------
minisat+ Debian release 1.0-4

Ralf Treinen (1):
      dep8-test: add dependency on @

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

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/minisat+.git