diff options
Diffstat (limited to 'docs/devel/index-process.rst')
| -rw-r--r-- | docs/devel/index-process.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/devel/index-process.rst b/docs/devel/index-process.rst index cb7c6640fd..5807752d70 100644 --- a/docs/devel/index-process.rst +++ b/docs/devel/index-process.rst @@ -13,6 +13,7 @@ Notes about how to interact with the community and how and where to submit patch maintainers style submitting-a-patch + code-provenance trivial-patches stable-process submitting-a-pull-request |