[Commit-gnuradio] [gnuradio] 11/17: Merge remote-tracking branch 'osh/pmt_fix'

[git]

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

jcorgan pushed a commit to branch master
in repository gnuradio.

commit 5e50093ce91ba0ef1036e8b977a9824e05d71a81
Merge: a8f73d8 3d1f7bd
Author: Johnathan Corgan <address@hidden>
Date:   Mon Mar 31 11:42:14 2014 -0700

    Merge remote-tracking branch 'osh/pmt_fix'

 gnuradio-runtime/lib/pmt/pmt.cc              |  3 +-
 gnuradio-runtime/python/pmt/pmt_to_python.py | 41 ++++++++++++++++++++++------
 2 files changed, 34 insertions(+), 10 deletions(-)