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 4ce0517 #222

Closed
wants to merge 1 commit into from
Closed

Bump 3rd_party/pybind11 from 9ec1128 to 4ce0517 #222

wants to merge 1 commit into from

Commits on Mar 30, 2023

  1. Bump 3rd_party/pybind11 from 9ec1128 to 4ce0517 

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

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

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