From e796fb5aca72eb873f5132943458b7e22ecb856c Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 14 Feb 2020 15:45:02 +0100
Subject: [PATCH] Closed bug.

---
 ChangeLog | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ChangeLog b/ChangeLog
index 777b34cf72..8c0b53308d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -5,6 +5,7 @@ SimGrid (3.25.1) UNRELEASED (target: March 20 2020 or v3.26 on 3/26/20)
 Fixed bugs (FG#.. -> framagit bugs; FG!.. -> framagit merge requests):
  - FG#43: xbt::random needs some care
  - FG!24: Documentation and fix for xbt/random
+ - GH#139: Allow pthread creation in SMPI
 
 ----------------------------------------------------------------------------
 
-- 
2.20.1