commit | afd8154b1e466e0bd564e8ec480b4ab9db3a537d | [log] [tgz] |
---|---|---|
author | Gilles Peskine <gilles.peskine@arm.com> | Tue Jan 16 11:19:20 2024 +0100 |
committer | GitHub <noreply@github.com> | Tue Jan 16 11:19:20 2024 +0100 |
tree | 572997dff8f5111c8fc0512e069adb79ad18b328 | |
parent | 890c74447d50a35df807fdf718a212200c8d45e1 [diff] | |
parent | 0b39d1ed7d74b934515f23e9eef43b46438735d2 [diff] |
Merge pull request #1139 from yanesca/update-Marvin-changelog Update Marvin fix Changelog entry