[minisat+] annotated tag debian/1.0-3 created (now 3c75304)

[Ralf Treinen]

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

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

        at  3c75304   (tag)
   tagging  10b676cc5568b7af5945ff88d54ceae6907cb1b2 (commit)
  replaces  debian/1.0-2
 tagged by  Ralf Treinen
        on  Mon Dec 19 08:09:21 2016 +0100

- Log -----------------------------------------------------------------
minisat+ Debian release 1.0-3

Ralf Treinen (6):
      debian/copyright: format 1.0
      standards-version 3.9.8
      dh compat level 10
      update Vcs-{Git,Browser}
      fix spelling in help
      add package test

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

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