This message was deleted.
# generals
sparse-intern-71089
11/29/2023, 8:10 PMThis message was deleted.
b
billowy-army-68599
11/29/2023, 8:25 PM
please file an issue with a repro
b
broad-island-71889
11/30/2023, 4:52 PM@billowy-army-68599 do you mean an issue on Github?
b
billowy-army-68599
11/30/2023, 5:11 PM
yup