Skip to content

Fix mozilla/remote-settings#923: add tooltip when local/server timestamp#306

Merged
leplatrem merged 6 commits intomasterfrom
remote-settings-923
Sep 25, 2025
Merged

Fix mozilla/remote-settings#923: add tooltip when local/server timestamp#306
leplatrem merged 6 commits intomasterfrom
remote-settings-923

Conversation

@leplatrem
Copy link
Contributor

@leplatrem leplatrem merged commit 6d9f827 into master Sep 25, 2025
8 checks passed
@leplatrem leplatrem deleted the remote-settings-923 branch September 25, 2025 11:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

DevTools: add tooltip on red warning when timestamp differ

2 participants