Skip to content
This repository has been archived by the owner on Dec 14, 2023. It is now read-only.

Bump 3rd_party/pybind11 from 9ec1128 to 7e5edbc #282

Closed
wants to merge 1 commit into from
Closed

Bump 3rd_party/pybind11 from 9ec1128 to 7e5edbc #282

wants to merge 1 commit into from

Commits on Sep 25, 2023

  1. Bump 3rd_party/pybind11 from 9ec1128 to 7e5edbc 

    Bumps [3rd_party/pybind11](https://github.com/pybind/pybind11) from `9ec1128` to `7e5edbc`.
- [Release notes](https://github.com/pybind/pybind11/releases)
- [Commits](pybind/pybind11@9ec1128...7e5edbc)

---
updated-dependencies:
- dependency-name: 3rd_party/pybind11
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
    @dependabot
    dependabot[bot] committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    1163719 View commit details
    Browse the repository at this point in the history