Merge branch 'release-0.7.x'

Review Request #7359 — Created June 11, 2015 and submitted — Latest diff uploaded

Information

RBTools
94552ed...

Reviewers

Merge branch 'release-0.7.x'