diff --git a/.gitmodules b/.gitmodules index 9bb357f5..bb608042 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,4 @@ [submodule "third_party/pybind11"] path = third_party/pybind11 url = https://github.com/pybind/pybind11.git + branch = v2.10.5 diff --git a/third_party/pybind11 b/third_party/pybind11 new file mode 160000 index 00000000..0e2c3e5d --- /dev/null +++ b/third_party/pybind11 @@ -0,0 +1 @@ +Subproject commit 0e2c3e5db41b6b2af4038734c84ab855ccaaa5f0