Flagged Out-of-Date Comment: dyninst

MarsSeed flagged dyninst out-of-date on 2023-12-18 (UTC) for the following reason:

v12.3.0 (Feb 22, 2023) - https://github.com/dyninst/dyninst/releases