Fixes firefox copy paste issue#142354
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 24, 2025
gstjepan2:firefox_copy_paste_issue
Merged
Fixes firefox copy paste issue#142354bors merged 1 commit intorust-lang:masterfrom gstjepan2:firefox_copy_paste_issue
bors merged 1 commit intorust-lang:masterfrom
gstjepan2:firefox_copy_paste_issue
