[Commit-gnuradio] git://gnuradio.org/gnuradio branch, next, updated. v3.5.3-151-gef72dc7

[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, next has been updated
       via  ef72dc714840dfb8fe3f918dda243f74453b6cc7 (commit)
       via  f621a52f779381cfe550b4278b83e701a747944c (commit)
      from  ef9d7dee4fb30f1961bcbfb1142b498b749ebd9a (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 ef72dc714840dfb8fe3f918dda243f74453b6cc7
Merge: ef9d7de f621a52
Author: Johnathan Corgan <address@hidden>
Date:   Sat Apr 7 18:50:26 2012 -0700

    Merge branch 'master' into next
    
    * Used merge strategy 'ours' to skip release commit

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

Summary of changes:


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