I've started a discussion on GitHub Discussions regarding the gem5 PR Merge Policy and possible improvements: https://github.com/orgs/gem5/discussions/261
Please feel free to join and give input or feedback. -- Dr. Bobby R. Bruce Room 3050, Kemper Hall, UC Davis Davis, CA, 95616 web: https://www.bobbybruce.net _______________________________________________ gem5-dev mailing list -- [email protected] To unsubscribe send an email to [email protected]
