Committers: Please merge the outstanding PRs

[lenny]

Hi,

Can a committer besides me or Framçois merge the outstanding PRs please?
Thank you!