Merge "Clean dependencies of published libraries."
Xavier Ducrohet [Fri, 1 Feb 2013 00:13:13 +0000 (00:13 +0000)]

Trivial merge