Merge pull request #1550 from danielboulby-arm/db/weakdefs
authorDimitris Papastamos <[email protected]>
Fri, 31 Aug 2018 12:18:18 +0000 (13:18 +0100)
committerGitHub <[email protected]>
Fri, 31 Aug 2018 12:18:18 +0000 (13:18 +0100)
Prevent two weak definitions of the same function


Trivial merge