Skip to content
Snippets Groups Projects
Commit 5dba3440 authored by Amir MOHAMMADI's avatar Amir MOHAMMADI
Browse files

Merge branch 'bump_pybind' into 'master' 

Bump pybind11 version to 2.6.2, following bob.devel

See merge request !230
parents 28f2d76d 63835396
No related branches found
No related tags found
Checking pipeline status