On Wed, Aug 20, 2014 at 05:43:59PM +0200, 'Niklas Hambuechen' via ganeti-devel wrote: > 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]> > --- > src/Ganeti/JSON.hs | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-)
LGTM. Thanks. -- Klaus Aehlig Google Germany GmbH, Dienerstr. 12, 80331 Muenchen Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschaeftsfuehrer: Graham Law, Christine Elizabeth Flores
