From feed425c30abc1e560dfab4a55406e1f7a023142 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 4 Nov 2013 21:59:32 +0100 Subject: [PATCH] Whitespace cleanup. --- NEWS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index c658b016a3..fbad645fad 100644 --- a/NEWS +++ b/NEWS @@ -10,10 +10,10 @@ The "to be named" release. Major changes: * Java is back in the main package (and is very stable). * The storage sub-modules is now believed to be usable. * SMPI is now very stable (we pass most MPICH tests). - * Verification and model checking further improved: + * Verification and model checking further improved: liveness+SMPI works; reduction through state equality detection Plus the usual load of bug fixes and small improvements - + _ _____ ___ __ _____ _ __ ___(_) ___ _ __ |___ // _ \ \ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ (_) | -- 2.20.1