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 8e0ca4e09ec4fa1a6b6938491abd991bade95a95 (commit)
from 0cefb6d01c4de242d862244d10e883646d1a836c (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 8e0ca4e09ec4fa1a6b6938491abd991bade95a95
Author: Niklas Hambuechen <[email protected]>
Date: Fri Sep 26 18:44:35 2014 +0200
Query.Filter: Improve haddocks for `evaluateFilterM`
This makes clearer what the two type variables are.
Signed-off-by: Niklas Hambuechen <[email protected]>
Signed-off-by: Klaus Aehlig <[email protected]>
Reviewed-by: Klaus Aehlig <[email protected]>
-----------------------------------------------------------------------
Summary of changes:
src/Ganeti/Query/Filter.hs | 10 +++++++++-
1 files changed, 9 insertions(+), 1 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.
