[pull] master from DefinitelyTyped:master#1072

Merged

pull[bot] merged 8 commits intoUncodedtech:masterfrom

DefinitelyTyped:master

Apr 24, 2025

Commits on Apr 24, 2025

🤖 Merge PR #72452 fix(koa-generic-session): context extension #72440 by @javiertury
javiertury
authored
🤖 Merge PR #72491 chore: update woosmap.map by @wgsadmin

wgsadmin
and
manz
authored
🤖 Merge PR #72476 [novnc__novnc]: Add missing RFB event "clippingviewport" and update version to match NoVnc v1.6.0 by @pgmystery
pgmystery
authored
🤖 Merge PR #72585 [three] r176 by @Methuselah96
Methuselah96
authored
🤖 Merge PR #72487 Remove myself as owner for `connect-mongodb-session` by @HoldYourWaffle
HoldYourWaffle
authored
🤖 Merge PR #72572 [invity-api]: sell provider lockAmount parameter by @adderpositive
adderpositive
authored
🤖 Merge PR #72573 [chrome]: add userScripts.execute() by @nicolas377
nicolas377
authored
🤖 Merge PR #72588 [react-native-web] Declare and export unstable_createElement by @jonathanj

jonathanj
and
Jonathan Jacobs
authored