[Commit-gnuradio] [gnuradio] 02/03: Merge branch 'maint'

[git]

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

jcorgan pushed a commit to branch master
in repository gnuradio.

commit 76b0159d29b72430c1a370c4fb524f610f43c2e6
Merge: 124c641 87846f8
Author: Johnathan Corgan <address@hidden>
Date:   Sat Aug 6 14:45:18 2016 -0700

    Merge branch 'maint'

 gnuradio-runtime/include/gnuradio/attributes.h       |  8 +++-----
 gr-dtv/lib/dvbt/dvbt_bit_inner_deinterleaver_impl.cc | 10 ++++++----
 gr-dtv/lib/dvbt/dvbt_bit_inner_interleaver_impl.cc   |  8 +++++---
 3 files changed, 14 insertions(+), 12 deletions(-)