From 96a45bcb39d3d07665a40539c38661368649fd1e Mon Sep 17 00:00:00 2001 From: Matthias Hochsteger Date: Wed, 5 Sep 2018 17:37:58 +0200 Subject: [PATCH] Use own fork of pybind11 to apply patches --- .gitmodules | 2 +- external_dependencies/pybind11 | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index fccd5ba0..e6108291 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "external_dependencies/pybind11"] path = external_dependencies/pybind11 - url = https://github.com/pybind/pybind11.git + url = https://github.com/ngsolve/pybind11.git diff --git a/external_dependencies/pybind11 b/external_dependencies/pybind11 index e0f3a766..2a150736 160000 --- a/external_dependencies/pybind11 +++ b/external_dependencies/pybind11 @@ -1 +1 @@ -Subproject commit e0f3a766e951ebbf2aadb31f41eb490de5bb607e +Subproject commit 2a150736601bb3113877bb673fb934bb60d46ec5