Closed davidharrishmc closed 1 year ago
Thank you.
On Nov 20, 2023, at 7:48 AM, Jeremy Bennett @.***> wrote:
Merged #188 https://github.com/embench/embench-iot/pull/188 into master.
— Reply to this email directly, view it on GitHub https://github.com/embench/embench-iot/pull/188#event-11013635988, or unsubscribe https://github.com/notifications/unsubscribe-auth/AR4AA32WEGKEZNSSIEQIVS3YFN3TPAVCNFSM6AAAAAA7TDSWHOVHI2DSMVQWIX3LMV45UABCJFZXG5LFIV3GK3TUJZXXI2LGNFRWC5DJN5XDWMJRGAYTGNRTGU4TQOA. You are receiving this because you authored the thread.
Reviewed. Good to merge.