Commit b4f9f4f2 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Bump stdpp version.

parent 0581fe45
Pipeline #6534 passed with stages
in 12 minutes and 33 seconds