[SCM] minisat+ packaging annotated tag, upstream/2011.05.10, created. upstream/2011.05.10

[Ralf Treinen]

The annotated tag, upstream/2011.05.10 has been created
        at  f33ec2b1c38036f8012cff51d1dc6f27b20a98e4 (tag)
   tagging  ab86db96c243196e68309fe09af232bba6cc8c07 (commit)
 tagged by  Ralf Treinen
        on  Tue May 10 16:44:43 2011 +0200

- Shortlog ------------------------------------------------------------
Upstream version 2011.05.10

Ralf Treinen (1):
      Imported Upstream version 2011.05.10

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

-- 
minisat+ packaging