[Commit-gnuradio] git://gnuradio.org/gnuradio branch, next, updated. 3.7.2git-53-g880d039

[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  880d0392c2371cf1b67ec1481978e8f9e1cae9c6 (commit)
       via  d19aa281291a4cb45b3c30cdaafcea9eee5d1887 (commit)
       via  e2095af55b1aefdccd92d2f403e77f2b0ee627b0 (commit)
       via  9720bd4baf13e1b52e3952d58bf04de21bc83dfa (commit)
       via  8b2bf6d61289a1889e444ab98b0fa5b7dc29dbaa (commit)
      from  315965d7aaeafb26676ef0549864f4389e61c212 (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 880d0392c2371cf1b67ec1481978e8f9e1cae9c6
Merge: 315965d d19aa28
Author: Johnathan Corgan <address@hidden>
Date:   Thu Aug 29 10:16:41 2013 -0700

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

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

Summary of changes:


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