Update docker-dev to 0.7.2

library/docker-dev

@@ -1,5 +1,5 @@
 # maintainer: Tianon Gravi <[email protected]> (@tianon)
 
-latest: git://github.com/dotcloud/[email protected].0
-v0.7.0: git://github.com/dotcloud/[email protected]
+latest: git://github.com/dotcloud/[email protected].2
+v0.7.2: git://github.com/dotcloud/[email protected]
 v0.6.7: git://github.com/dotcloud/[email protected]