model-checker : abort if popen failed

[simgrid.git] / NEWS

diff --git a/NEWS b/NEWS
index 3353af2..35185e2 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -24,6 +24,7 @@ __   _____ _ __ ___(_) ___  _ __   |___ / ( _ )
                 Oct 25 2012
 
 The Psssshiiiit release: SimGrid jumps into the Cloud.
+Major changes:
 
  * Experimental interface to manipulate VMs, EC2-style.
  * Fixes around process restart and stochastic workloads