deis/deis — pull request #2439 by johanneswuerbach (2014-11-09 09:49:21+00:00)
Title: chore(registry): Upgraded registry to 0.9

Requires https://github.com/deis/docker-registry/pull/4 to be merged.