[Commit-gnuradio] git://gnuradio.org/gnuradio branch, master, updated. 3.6.2git-88-ga0ffd48

[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, master has been updated
       via  a0ffd48d73eda63d5fa3a9ded1dc0f34b116da9d (commit)
      from  2294e8c20293bf26a69602011396ffb03763a6d9 (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 -----------------------------------------------------------------
commit a0ffd48d73eda63d5fa3a9ded1dc0f34b116da9d
Author: Josh Blum <address@hidden>
Date:   Wed Jun 20 16:46:29 2012 -0400

    volk: added missing avx header include

-----------------------------------------------------------------------

Summary of changes:
 volk/include/volk/volk_32f_x2_dot_prod_32f_a.h |    2 ++
 volk/include/volk/volk_32f_x2_dot_prod_32f_u.h |    2 ++
 2 files changed, 4 insertions(+), 0 deletions(-)


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