diff options
| -rw-r--r-- | doc/developer.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/developer.texi b/doc/developer.texi index cf805288bf..0432889585 100644 --- a/doc/developer.texi +++ b/doc/developer.texi @@ -319,7 +319,7 @@ send a reminder by email. Your patch should eventually be dealt with. @enumerate @item - Does fate pass with the patch applied? (make fate) + Does 'make fate' pass with the patch applied? @item Was the patch generated with git format-patch or send-email? @item |