[Commit-gnuradio] git://gnuradio.org/gnuradio branch, maint, updated. v3.5.3.1-2-gef97a99

[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  ef97a9935853b928cefe0bf27273e935c0df7552 (commit)
       via  ad9752793bbb7134e14483553766ab3d36e02366 (commit)
      from  0765dc05054e74d177d715697e3d5c89886cd838 (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:
 volk/gen/make_cpuid_c.py |   21 +++++++++++++++++++++
 volk/lib/gcc_x86_cpuid.h |   28 +++++++++++++---------------
 2 files changed, 34 insertions(+), 15 deletions(-)


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