mirror of
https://github.com/emilk/egui.git
synced 2026-07-08 15:57:27 +00:00
e925a41419
* Closes https://github.com/emilk/egui/pull/8029 --------- Co-authored-by: lucasmerlin <hi@lucasmerlin.me>