mirror of
https://github.com/storytold/egui.git
synced 2026-11-01 21:35:25 -08:00
- 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>