[Commit-gnuradio] [gnuradio] 15/16: Merge remote-tracking branch 'pinkavaj/no-x86-dtv-fix-00'

[git]

This is an automated email from the git hooks/post-receive script.

jcorgan pushed a commit to branch master
in repository gnuradio.

commit 7b2088e217287ed0b222e1b8953b17c9849fc1c2
Merge: 590945d 40f53c9
Author: Johnathan Corgan <address@hidden>
Date:   Sat Oct 3 11:50:31 2015 -0700

    Merge remote-tracking branch 'pinkavaj/no-x86-dtv-fix-00'

 gr-dtv/CMakeLists.txt | 4 ++++
 1 file changed, 4 insertions(+)