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, stable-2.12 has been updated
via fa5f77ecaf8e85023cd4a34a475dc42a86aeec16 (commit)
from 48cce81a17c549aabadc50bd7bd694f978658535 (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 fa5f77ecaf8e85023cd4a34a475dc42a86aeec16
Author: Niklas Hambuechen <[email protected]>
Date: Wed Aug 20 17:43:59 2014 +0200
Fix alterContainerL
The original version accidentally used `Map.update` instead of
`Map.alter`, which broke insertions (the function would only have
an effect if the key was already in the container).
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/JSON.hs | 2 +-
1 files changed, 1 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.