Merge "Use Linker::link() instead of Linker::linkKnown() when having options"
authorSiebrand <siebrand@wikimedia.org>
Mon, 22 Oct 2012 12:06:57 +0000 (12:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 22 Oct 2012 12:06:57 +0000 (12:06 +0000)

Trivial merge