Merge pull request #3220 from alexrp/master
commitf1011867865ee27f59a0c44f3d2e4108754178c2
authorAlex Rønne Petersen <alex@alexrp.com>
Thu, 30 Jun 2016 02:08:28 +0000 (30 04:08 +0200)
committerGitHub <noreply@github.com>
Thu, 30 Jun 2016 02:08:28 +0000 (30 04:08 +0200)
treea6565b1dff153a16a0744d387decf4ca97b93ac6
parentf16741a60aabbf2bc856a8b616fd3369b74107f7
parent46b920abb1f2975c15fd06b9903427cc714ccc7f
Merge pull request #3220 from alexrp/master

Revert changes to profiler library linking