[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] [gnuradio] 01/01: Merge branch 'maint'
|
From: |
git |
|
Subject: |
[Commit-gnuradio] [gnuradio] 01/01: Merge branch 'maint' |
|
Date: |
Wed, 7 Dec 2016 03:44:23 +0000 (UTC) |
This is an automated email from the git hooks/post-receive script.
jcorgan pushed a commit to branch master
in repository gnuradio.
commit d4a3e0267c32912f234f5c59fc567982958e96e8
Merge: 1e8562c 5cab06f
Author: Johnathan Corgan <address@hidden>
Date: Tue Dec 6 19:32:44 2016 -0800
Merge branch 'maint'
gnuradio-runtime/lib/pmt/pmt.cc | 2 +-
gnuradio-runtime/lib/pmt/pmt_int.h | 7 ++++---
2 files changed, 5 insertions(+), 4 deletions(-)