Merge pull request #3242 from alexanderkyte/fix_docs
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Wed, 6 Jul 2016 00:08:26 +0000 (02:08 +0200)
committerGitHub <noreply@github.com>
Wed, 6 Jul 2016 00:08:26 +0000 (02:08 +0200)
[runtime] Remove extraneous fi in docs build printing


No differences found