X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e16bf1783f81817594328c786fc9ba1861b3e980..1944008aba63f42a611ec5fd36a681d474cb6e64:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index dc7208e70e..42792a477a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -25,6 +25,7 @@ Bugs:
  - FG#29 and FG#33: provide a new C API to mutexes and condition variables 
  - FG#30: convert MSG_process_{un}ref to sg_actor_{un}ref
  - FG#34: SG_BARRIER_SERIAL_THREAD?
+ - FG#35: model-checker does not like buster-produced binaries
 
 ----------------------------------------------------------------------------