From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
Date: Thu, 20 May 2010 22:35:32 +0000 (+0200)
Subject: Merge branch 'master' into bug567845-ballombe
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=8dd24fc3ea77fa02cde46782a1ba26d8a9baf748;p=debian%2Fdebian-policy.git

Merge branch 'master' into bug567845-ballombe
---

8dd24fc3ea77fa02cde46782a1ba26d8a9baf748