From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 9 Jul 2018 16:03:09 +0000 (+0200)
Subject: this_actor::exit() is a better name than this_actor::kill()
X-Git-Tag: v3_21~498
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c997a75978da1fb6c5b1e213810f7b7c45aa3808?hp=c997a75978da1fb6c5b1e213810f7b7c45aa3808

this_actor::exit() is a better name than this_actor::kill()
---