Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'arm-patch' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 9 Feb 2023 10:48:35 +0000 (10:48 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 9 Feb 2023 10:48:35 +0000 (10:48 +0000)
Add patch for arm64 Ubuntu 22.04 in `UnwindContext`

See merge request simgrid/simgrid!126


Trivial merge