Skip to content

[pull] master from DefinitelyTyped:master#1858

Merged
pull[bot] merged 1 commit into
Uncodedtech:masterfrom
DefinitelyTyped:master
Jul 5, 2026
Merged

[pull] master from DefinitelyTyped:master#1858
pull[bot] merged 1 commit into
Uncodedtech:masterfrom
DefinitelyTyped:master

🤖 Merge PR #75211 mpv-script: add more globals by @sharpchen

ab95131
Select commit
Loading
Failed to load commit list.
Sign in for the full log view