Mention check_sec.sh in doc/devel-notes.txt

diff --git a/doc/devel-notes.txt b/doc/devel-notes.txt
index 8b7b610a7d8c81527b274e6dd3b30aa88e059448..791d0d4b4ae398be8f0566617607c0d4c4e0f869 100644 (file)
--- a/doc/devel-notes.txt
+++ b/doc/devel-notes.txt
@@ -160,6 +160,8 @@ changes should be grouped logically, feature by feature or bugfix by
 bugfix. Escpecially a single patch fixing several problems at once
 should be avoided.
 
+Before submitting patches, please make sure the check_sec.sh script
+in the top-level source directory reports no errors/warnings.
 
 A word about warnings
 ---------------------