[Commit-gnuradio] git://gnuradio.org/gnuradio branch, maint, updated. v3.6.0-12-gb95b3ce

[git version control]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "git://gnuradio.org/gnuradio".

The branch, maint has been updated
       via  b95b3ce4553442a97ce6ed19d907527ac0d90d96 (commit)
       via  53dabcddefa202facfd0825fd2171f840a1a47c3 (commit)
      from  11475bfd79097616b00639e5bfdc567134346566 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
-----------------------------------------------------------------------

Summary of changes:
 gr-pager/apps/usrp_flex_all |    4 ++--
 grc/python/Port.py          |    4 ++++
 2 files changed, 6 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
git://gnuradio.org/gnuradio