Commit 4a624063 authored by Robbert Krebbers's avatar Robbert Krebbers

Bump stdpp.

parent d392b7a6
Pipeline #18222 passed with stage
in 16 minutes and 10 seconds