This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Ganeti core".
The branch, master has been updated
via 8a1b6f9bc3d63c101404bfa320887309a890a9a7 (commit)
from ce44ba6a5be1773ca8bd2cedba551bf3e01afd3f (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 8a1b6f9bc3d63c101404bfa320887309a890a9a7
Author: Klaus Aehlig <[email protected]>
Date: Mon Oct 13 13:51:23 2014 +0200
Add a stable version of cover
Work around the limitation of QuickChecks `cover` to ignore
all coverage labels that do not occur in the actual sample.
Signed-off-by: Klaus Aehlig <[email protected]>
Reviewed-by: Petr Pudlak <[email protected]>
Reviewed-by: Niklas Hambuechen <[email protected]>
-----------------------------------------------------------------------
Summary of changes:
test/hs/Test/Ganeti/TestCommon.hs | 13 +++++++++++++
1 files changed, 13 insertions(+), 0 deletions(-)
hooks/post-receive
--
Ganeti core
--
---
You received this message because you are subscribed to the Google Groups
"ganeti-commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
