Merge pull request #967 from goldshtn/debuginfo
author4ast <alexei.starovoitov@gmail.com>
Tue, 21 Feb 2017 19:18:41 +0000 (11:18 -0800)
committerGitHub <noreply@github.com>
Tue, 21 Feb 2017 19:18:41 +0000 (11:18 -0800)
External debuginfo support and general symbols overhaul


Trivial merge