Bump external/stdpp from 6cb5c0f to 80267a5

Bumps external/stdpp from `6cb5c0f` to `80267a5`.

---
updated-dependencies:
- dependency-name: external/stdpp
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>