Ciro Santilli
🔗

Merged by Ciro | 🗖 nosplit | ↑ parent "Patches" | 334

🔗
Patches which were merged by Ciro himself on repositories which eh feels have large public visibility, e.g. those to which he has been given push permission.
🔗
Repositories to which Ciro gained push permission because of his contributions:
🔗
🔗