deis/deis — pull request #2587 by mboersma (2014-11-25 18:11:06+00:00)
Title: chore(release): update release version in master to v1.0.2

See also #2586. This does *not* update the version resources that it moves to `1.1.0-dev`, so these should be merged close to each other.