Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Retrieve sources from debuginfod server if debuginfo is from there #4602

Merged
merged 1 commit into from
May 10, 2024

Conversation

brancz
Copy link
Member

@brancz brancz commented May 10, 2024

No description provided.

Copy link

alwaysmeticulous bot commented May 10, 2024

🤖 Meticulous spotted visual differences in 1 of 416 screens tested: view and approve differences detected.

Last updated for commit e204dd2. This comment will update as new commits are pushed.

@brancz brancz merged commit 220135c into main May 10, 2024
35 checks passed
@brancz brancz deleted the debuginfod-sources branch May 10, 2024 15:03
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.

1 participant