|
From: | CEL |
Subject: | [Discuss-gnuradio] Short Celebration: 1600 closed PRs! |
Date: | Tue, 18 Dec 2018 16:04:57 +0000 |
https://github.com/gnuradio/gnuradio/pulls?q=is%3Apr+is%3Aclosed shows 1601 closed PRs, the very vast majority of which are succesful merges.
[Prev in Thread] | Current Thread | [Next in Thread] |