[SCM] Debian GNU Hurd packaging annotated tag, upstream/random/20130707, created. upstream/random/20130707

[Samuel Thibault]

The annotated tag, upstream/random/20130707 has been created
        at  8e17fcbed37e0d57baa9e7604f1fa3b753ae3196 (tag)
   tagging  1dcedef0728b16720eb15e77d685988627d7b5c9 (commit)
  replaces  upstream/random/20120710
 tagged by  Samuel Thibault
        on  Sun Jul 7 22:02:42 2013 +0000

- Shortlog ------------------------------------------------------------
New upstream snapshot

Richard Braun (4):
      Move random to pthreads
      Fix linking
      Various fixes
      Move random to pthreads

Samuel Thibault (1):
      Merge branch 'random' of git.debian.org:/git/pkg-hurd/hurd into random

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

-- 
Debian GNU Hurd packaging