[source-date-epoch-spec] 01/01: Remove extraneous adjective, it's already covered by the other cases

Ximin Luo infinity0 at debian.org
Mon Nov 13 16:35:35 UTC 2017


This is an automated email from the git hooks/post-receive script.

infinity0 pushed a commit to branch pu/1.1
in repository source-date-epoch-spec.

commit 894e09278478da9f9dec868fc0c6e236481a831b
Author: Ximin Luo <infinity0 at debian.org>
Date:   Mon Nov 13 17:35:17 2017 +0100

    Remove extraneous adjective, it's already covered by the other cases
---
 source-date-epoch-spec.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source-date-epoch-spec.xml b/source-date-epoch-spec.xml
index 6bd204e..823fe08 100644
--- a/source-date-epoch-spec.xml
+++ b/source-date-epoch-spec.xml
@@ -164,8 +164,8 @@
 			This is often called "timestamp clamping".
 		</para>
 		<para>
-			Build processes MUST NOT discriminately unset this
-			variable for child processes if it is already present.
+			Build processes MUST NOT unset this variable for child
+			processes if it is already present.
 		</para>
 		<para>
 			Formatting MUST be deferred until runtime if an end

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/source-date-epoch-spec.git



More information about the Reproducible-commits mailing list