Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 86f0e16 8b0c841)
Merge branch 'segvhandler_fix' into 'master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 30 Aug 2021 12:37:41 +0000 (12:37 +0000)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 30 Aug 2021 12:37:41 +0000 (12:37 +0000)
Fix incorrect suggestion in segvhandler

See merge request simgrid/simgrid!69


Trivial merge
Clone of SimGrid repository with local patches