Skip to content

Routine maintenance#741

Merged
gabrielesvelto merged 4 commits intomozilla:mainfrom
gabrielesvelto:routine-maintenance
Jun 16, 2025
Merged

Routine maintenance#741
gabrielesvelto merged 4 commits intomozilla:mainfrom
gabrielesvelto:routine-maintenance

Conversation

@gabrielesvelto
Copy link
Copy Markdown
Collaborator

No description provided.

Copy link
Copy Markdown
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. Thank you.

@gabrielesvelto
Copy link
Copy Markdown
Collaborator Author

The cargo dist changes require more work, I should turn this into a draft.

@gabrielesvelto gabrielesvelto force-pushed the routine-maintenance branch 2 times, most recently from 818b586 to 61a5b8c Compare June 16, 2025 16:25
Upstream is unfortunately unmaintained as the company making it seems to
have closed down. This is a stop-gap fix but we'll have to look for a
more permanent solution down the road.
@gabrielesvelto gabrielesvelto merged commit acc5341 into mozilla:main Jun 16, 2025
17 checks passed
@gabrielesvelto gabrielesvelto deleted the routine-maintenance branch March 11, 2026 10:07
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