-SimGrid (3.12) NOT RELEASED; urgency=low
+SimGrid (3.13) UNRELEASED; urgency=low
+
+ SMPI
+ * BC breaks:
+ - The option smpi/async_small_thres was renamed to smpi/async_small_thresh
+ as we attempt to unify our naming schemes -> smpi/send_is_detached_thresh
+
+ XBT
+ * Kill the setset datacontainer: it's unused since a while.
+
+ JAVA:
+ * Remove the ability to write internal plugins in Java.
+ It may be reintroduced once the ongoing cleanup is done.
+
+ -- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
+
+SimGrid (3.12) stable; urgency=low
The Facelift Release.
* Record/Replay: the MC can display a textual representation of a path in the
execution graph. It can then be replayed outside of the model checker.
- -- $date Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
+ -- Mon Oct 12 06:02:41 CEST 2015 Da SimGrid team <simgrid-devel@lists.gforge.inria.fr>
SimGrid (3.11) stable; urgency=low