https://github.com/gnuradio/gnuradio/pulls?q=is%3Apr+is%3Aclosed shows 1601 closed PRs, the very vast majority of which are succesful merges. _______________________________________________ Discuss-gnuradio mailing list [email protected] https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
