Merge "Rework the HOT spec section"

This commit is contained in:
Jenkins 2014-10-27 17:42:23 +00:00 committed by Gerrit Code Review
commit 0d891c16d2

File diff suppressed because it is too large Load Diff