Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'task-token' into 'master'
authorFred Suter <frederic.suter@cc.in2p3.fr>
Tue, 20 Jun 2023 12:03:29 +0000 (12:03 +0000)
committerFred Suter <frederic.suter@cc.in2p3.fr>
Tue, 20 Jun 2023 12:03:29 +0000 (12:03 +0000)
Task Token

See merge request simgrid/simgrid!163


Trivial merge