Skip to content

Update dependencies to pick up various fixes and improvements#747

Merged
gabrielesvelto merged 4 commits intomozilla:mainfrom
gabrielesvelto:updated-dependencies
Mar 11, 2026
Merged

Update dependencies to pick up various fixes and improvements#747
gabrielesvelto merged 4 commits intomozilla:mainfrom
gabrielesvelto:updated-dependencies

Conversation

@gabrielesvelto
Copy link
Collaborator

No description provided.

Copy link
Collaborator

@calixteman calixteman left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@gabrielesvelto
Copy link
Collaborator Author

Picked up a few more dependencies to symbolic so we include fixes that might change the output (such as during demangling)

@gabrielesvelto gabrielesvelto merged commit 61afd6f into mozilla:main Mar 11, 2026
14 checks passed
@gabrielesvelto gabrielesvelto deleted the updated-dependencies branch March 11, 2026 09:58
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.

2 participants