[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] [gnuradio] 02/02: Merge remote-tracking branch 'gnurad
|
From: |
git |
|
Subject: |
[Commit-gnuradio] [gnuradio] 02/02: Merge remote-tracking branch 'gnuradio-github/pr/1233' into maint |
|
Date: |
Wed, 15 Mar 2017 23:49:45 +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 98d633a7f94f9ddd80827ac1f97746f38cc6b6e2
Merge: 26475d4 cee483f
Author: Johnathan Corgan <address@hidden>
Date: Wed Mar 15 16:42:22 2017 -0700
Merge remote-tracking branch 'gnuradio-github/pr/1233' into maint
gr-fec/include/gnuradio/fec/polar_decoder_common.h | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)