diff options
Diffstat (limited to 'gdb/CONTRIBUTE')
-rw-r--r-- | gdb/CONTRIBUTE | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gdb/CONTRIBUTE b/gdb/CONTRIBUTE index f7f81c7c9f0..23de4aae5bf 100644 --- a/gdb/CONTRIBUTE +++ b/gdb/CONTRIBUTE @@ -165,5 +165,9 @@ o When submitting a patch that fixes a bug to the bug can be included in the ChangeLog vis - * CONTRIBUTE: Mention PR convention. Fix - gdb/4705. + * CONTRIBUTE: Mention PR convention. + Fix PR gdb/4705. + + The text ``PR gdb/4705'' should also be included + in the CVS commit message. That causes the + patch to automatically be archived with the PR. |