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
