[Commit-gnuradio] [gnuradio] 19/23: Merge remote-tracking branch 'drmpeg/dtv-coverity-clean'

[git]

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

jcorgan pushed a commit to branch master
in repository gnuradio.

commit 423495b5adc7118c20b007f0d2b156c35909466a
Merge: fda4cc8 260445f
Author: Johnathan Corgan <address@hidden>
Date:   Sat Nov 28 12:16:24 2015 -0800

    Merge remote-tracking branch 'drmpeg/dtv-coverity-clean'

 gr-dtv/lib/dvbs2/dvbs2_physical_cc_impl.cc           | 2 --
 gr-dtv/lib/dvbt/dvbt_demod_reference_signals_impl.cc | 3 ++-
 gr-dtv/lib/dvbt/dvbt_ofdm_sym_acquisition_impl.cc    | 3 ++-
 gr-dtv/lib/dvbt/dvbt_ofdm_sym_acquisition_impl.h     | 3 ---
 gr-dtv/lib/dvbt2/dvbt2_framemapper_cc_impl.cc        | 2 +-
 gr-dtv/lib/dvbt2/dvbt2_paprtr_cc_impl.cc             | 2 +-
 6 files changed, 6 insertions(+), 9 deletions(-)