bughelp wanted
Repository metrics
- Stars
- (83 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
See https://github.com/refined-github/refined-github/issues/6348#issuecomment-1522208858
Maybe it's only Chromium. I wonder if reading field.value immediately after forces a synchronous update.