path: root/docs
diff options
authorGravatar Joseph Kogut <joseph.kogut@gmail.com>2017-11-03 14:10:53 -0700
committerGravatar Peter Korsgaard <peter@korsgaard.com>2017-11-05 21:13:58 +0100
commit8209d72211ab9b8f84ad89aa62f2b038211c32bb (patch)
tree108d6b9644184ad0817cabd3d681c7f72f0b725e /docs
parentef952a130e302e83f034992b774915563521c425 (diff)
docs: update DEVELOPERS modification process
Signed-off-by: Joseph Kogut <joseph.kogut@gmail.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'docs')
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/manual/contribute.txt b/docs/manual/contribute.txt
index a58945f395..8bbc2b9eb7 100644
--- a/docs/manual/contribute.txt
+++ b/docs/manual/contribute.txt
@@ -260,9 +260,9 @@ options that no longer exist or are no longer needed.
If you are interested in getting notified of build failures and of
further changes in the packages you added or modified, please add
-yourself to the DEVELOPERS file. This should be done in a separate
-patch of the series. See xref:DEVELOPERS[the DEVELOPERS file] for more
+yourself to the DEVELOPERS file. This should be done in the same patch
+creating or modifying the package. See xref:DEVELOPERS[the DEVELOPERS file]
+for more information.
==== Preparing a patch series