mirror of
https://github.com/storytold/egui.git
synced 2026-11-02 18:07:57 +00:00
60b5f05e9a
- closes https://github.com/emilk/egui/issues/8474 Its a required dependency now so we might as well their type for best compatibility --------- Co-authored-by: Emil Ernerfeldt <emil.ernerfeldt@gmail.com> Co-authored-by: Claude Opus 5 <noreply@anthropic.com>