Commit c22e7b33 authored by Robbert Krebbers's avatar Robbert Krebbers

Bump stdpp.

parent f6c97546
Pipeline #6484 passed with stages
in 15 minutes and 25 seconds