From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 24 Dec 2016 22:38:07 +0000 (+0100)
Subject: woops
X-Git-Tag: v3_14_159~13
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/fe9751f412132bbd78244248c5e710291c750a20

woops
---

diff --git a/NEWS b/NEWS
index 5be43efe92..9e59ede4cb 100644
--- a/NEWS
+++ b/NEWS
@@ -13,6 +13,8 @@ The Chrismas Pi Release.
    - Routing code rewritten for readability
    - Virtual Machines almost turned into a plugin
    - MSG, SimDag, MPI interfaces mostly unchanged
+   
+ * The model-checker now works on NetBSD too.
                     _               _____  _ _____
 __   _____ _ __ ___(_) ___  _ __   |___ / / |___ /
 \ \ / / _ \ '__/ __| |/ _ \| '_ \    |_ \ | | |_ \