Commit 89760032 by Ralf Jung

also use stdpp#master for nightly builds

parent 59f2c74c
Pipeline #9203 passed with stage
in 14 minutes 15 seconds