diff --git a/doc/RELEASING b/doc/RELEASING index 7b78c6b59..d753eb811 100644 --- a/doc/RELEASING +++ b/doc/RELEASING @@ -10,7 +10,7 @@ When making a new release; and this: - $ git log master..origin/master + $ git diff --stat master origin/master should be empty. Commit and push before the next step.