[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] [gnuradio] 03/03: Merge remote-tracking branch 'gnurad
From: |
git |
Subject: |
[Commit-gnuradio] [gnuradio] 03/03: Merge remote-tracking branch 'gnuradio-github/pr/1231' into maint |
Date: |
Tue, 21 Mar 2017 03:57:37 +0000 (UTC) |
This is an automated email from the git hooks/post-receive script.
jcorgan pushed a commit to branch maint
in repository gnuradio.
commit f919fa20ec08aec29956e1e66008788d7d1e0afd
Merge: fd0d293 e2f7c77
Author: Johnathan Corgan <address@hidden>
Date: Mon Mar 20 20:51:00 2017 -0700
Merge remote-tracking branch 'gnuradio-github/pr/1231' into maint
gnuradio-runtime/include/gnuradio/random.h | 4 ++--
gnuradio-runtime/lib/math/random.cc | 11 ++++++-----
2 files changed, 8 insertions(+), 7 deletions(-)