Commit 696f06fc authored by Robbert Krebbers's avatar Robbert Krebbers

Bump stdpp.

parent e38f76b0
Pipeline #20798 passed with stage
in 15 minutes and 36 seconds