diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 1cf9bec6af1..1ed109f66d6 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -9,4 +9,6 @@ _Describe what your pull request changes to CGAL (this can be skipped if it solv * Affected package(s): * Issue(s) solved (if any): fix #0000, fix #0000,... * Feature/Small Feature (if any): +* Link to compiled documentation (obligatory for small feature) [link](https://mydoc/Manual/Pkg) +* License and copyright ownership: