[Commit-gnuradio] git://gnuradio.org/gnuradio branch, next, updated. v3.7.2-101-gc5c9202

[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  c5c920205373aefdaae465ebd717bc745a739c7a (commit)
       via  d0eb3f1ce3314f17fb9ce7f94781f14efdf2b409 (commit)
       via  3c10174a19ced40ef91f637a65c27109ab80599a (commit)
       via  03abf937e34513fa9ca062025bd0e05e8260aa0b (commit)
       via  c92f65bf4a56ad95c14c78980bc97cb1e372bbac (commit)
      from  5e63016b9453a41d9c770d008fe478632b5c732a (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 c5c920205373aefdaae465ebd717bc745a739c7a
Merge: 5e63016 d0eb3f1
Author: Johnathan Corgan <address@hidden>
Date:   Sat Nov 9 11:56:59 2013 -0800

    Merge branch 'master' into next
    
    Use merge strategy -s ours to skip release commits.

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

Summary of changes:


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