21 May
2017
21 May
'17
11:17 p.m.
As it turns out, I'm already running gnuradio 3.7.11 quite happily with the max branch.