Ignore: issue created by mistake
Status Fixed / completed
Maintainer reply None cached
Activity 0 comments · opened Sep 1, 2026 · closed Sep 1, 2026
Edit: claude made a mistake and filed an issue here instead.
sorry for the inconvenience.