Merge branch 'update_pybind11_2.4.2' into 'master'

Update Pybind11 to 2.4.2

See merge request jschoeberl/netgen!268
This commit is contained in:
Joachim Schöberl 2019-10-07 08:20:37 +00:00
commit f5f6004533

@ -1 +1 @@
Subproject commit 4ffa6cd2d4a277b1cc8bc10d5c73cc0ee8edfaeb Subproject commit 7ec2ddfc95f65d1e986d359466a6c254aa514ef3