[notes] 01/01: Revert "simple change to trigger notes build"
Holger Levsen
holger at layer-acht.org
Sat Sep 24 11:39:47 UTC 2016
This is an automated email from the git hooks/post-receive script.
holger pushed a commit to branch master
in repository notes.
commit f337204173fbd72f0fa931d9611b0897c1d138d7
Author: Holger Levsen <holger at layer-acht.org>
Date: Sat Sep 24 13:39:32 2016 +0200
Revert "simple change to trigger notes build"
This reverts commit f12b83019b1d80ac8c22a1769c97614b13eaccc9.
---
packages.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/packages.yml b/packages.yml
index 1524c82..841b9b6 100644
--- a/packages.yml
+++ b/packages.yml
@@ -107,7 +107,7 @@ achilles:
acl2:
version: 7.1-1
comments: |
- Spawns a handful of saved_acl2 which eats memory.
+ Spawns a handful of saved_acl2 which eats the memory.
Strangely it looks like the build ends fine in testing, but always fails in unstable
issues:
- blacklisted_on_jenkins
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/notes.git
More information about the Reproducible-commits
mailing list