Merge pull request #845 from affansyed/master
author4ast <alexei.starovoitov@gmail.com>
Fri, 9 Dec 2016 04:37:38 +0000 (20:37 -0800)
committerGitHub <noreply@github.com>
Fri, 9 Dec 2016 04:37:38 +0000 (20:37 -0800)
Fix for issue 829 I reported


Trivial merge