mirror of
https://github.com/pybind/pybind11.git
synced 2024-11-21 12:45:11 +00:00
1
Guideline for merging PRs
Henry Schreiner edited this page 2021-06-11 17:38:45 -04:00
Deleting the wiki page "Guideline for merging PRs" cannot be undone. Continue?