Pushkar Kulkarni Fri, 10 Nov 2023 04:03:13 -0800
Created https://salsa.debian.org/java-team/truffle/-/merge_requests/2 to fix this issue.
Thanks! - Pushkar