bump stdpp

7 jobs for master in 21 minutes and 46 seconds (queued for 10 minutes and 34 seconds)