upstream/random/20121127

Samuel Thibault

@sthibault

1dcedef0 · Merge branch 'random' of git.debian.org:/git/pkg-hurd/hurd into random · Nov 27, 2012

New upstream snapshot