Hi,

As of today, we closed 1500 pull requests:

These of course range from trivialities to merging sub-systems with hundreds of commits���

Marcus