[Reproducible-commits] [misc] 02/07: Include disabled option with group
Chris Lamb
lamby at moszumanska.debian.org
Thu Jul 9 09:43:03 UTC 2015
This is an automated email from the git hooks/post-receive script.
lamby pushed a commit to branch master
in repository misc.
commit 409e9e6d4add2584f6401d807be5af94546bae9a
Author: Chris Lamb <lamby at debian.org>
Date: Thu Jul 9 10:34:05 2015 +0100
Include disabled option with group
---
clean-notes | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/clean-notes b/clean-notes
index aef7497..14ee100 100755
--- a/clean-notes
+++ b/clean-notes
@@ -68,8 +68,8 @@ if __name__ == '__main__':
'missing-usertagged',
'not-usertagged',
'now-fixed',
- ]
# 'missing-version',
+ ]
args.disable.extend(disabled_features)
for feature in args.enable:
if feature in args.disable:
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/misc.git
More information about the Reproducible-commits
mailing list