1.5.13 imminent, anything missing ? (no replies)

Hi all,

I finished to flush the queue of pending fixes for 1.5.13 and I repaired
my mistake in 1.5.12 by backporting for real this time the peers+nbproc
fixes.

I'm planning to release the latest snapshot as 1.5.13 ASAP as unless
someone rings a bell about something that I missed or forgot.

So if you think about anything, please say it quickly.

Thanks,
Willy