Skip to content

fix(toolkit-lib): remove unused extraUserAgent option from WatchOptions #1146

fix(toolkit-lib): remove unused extraUserAgent option from WatchOptions

fix(toolkit-lib): remove unused extraUserAgent option from WatchOptions #1146

Triggered via pull request April 3, 2025 09:16
@mrgrainmrgrain
labeled #314
Status Skipped
Total duration 4s
Artifacts

auto-approve.yml

on: pull_request_target
approve
0s
approve
Fit to window
Zoom out
Zoom in