Thanks, Roberto! On Mon, Dec 10, 2018 at 6:48 PM Roberto Cortez <radcor...@yahoo.com.invalid> wrote:
> Hi folks, > > I’ve done some cleanup on Github PR’s: > > - Closed PR’s already merged. > - Closed PR’s that don’t make sense anymore. > - Merged ready to go code. > > Probably, some of the old PR’s need another set of eyes, so we can decide > what we want to do with them. > > Cheers, > Roberto -- Richard Monson-Haefel https://twitter.com/rmonson https://www.linkedin.com/in/monsonhaefel/
