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 54431ab2e2340102b888de41085f7827eb97d81f (commit)
from b63697cb1ded15effded62d8523a8edda4d7c15b (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 54431ab2e2340102b888de41085f7827eb97d81f
Author: Aaron Karper <[email protected]>
Date: Wed Aug 13 10:33:35 2014 +0200
Avoid explicitly listing all category constructors
Signed-off-by: Aaron Karper <[email protected]>
Signed-off-by: Klaus Aehlig <[email protected]>
Reviewed-by: Klaus Aehlig <[email protected]>
-----------------------------------------------------------------------
Summary of changes:
src/Ganeti/DataCollectors/Types.hs | 4 ++--
1 files changed, 2 insertions(+), 2 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.
