Merge pull request #3779 from akoeplinger/fix-aot-only-reference
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Mon, 17 Oct 2016 15:56:03 +0000 (17:56 +0200)
committerGitHub <noreply@github.com>
Mon, 17 Oct 2016 15:56:03 +0000 (17:56 +0200)
[mini] Fix mention of --aot-only option, it no longer exists


Trivial merge