[Commit-gnuradio] [gnuradio] 05/10: Merge remote-tracking branch 'jgilbert/pmt_doc_update' into maint

[git]

This is an automated email from the git hooks/post-receive script.

jcorgan pushed a commit to branch maint
in repository gnuradio.

commit 3e5cd9a4adc584ab7a83ff1f5cc4c8c18548d8aa
Merge: 521fbab a780a9e
Author: Johnathan Corgan <address@hidden>
Date:   Sun Mar 27 06:09:45 2016 -0700

    Merge remote-tracking branch 'jgilbert/pmt_doc_update' into maint

 gnuradio-runtime/include/pmt/pmt.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)