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

fix prelink timeout #42

Closed
wants to merge 1 commit into from
Closed

fix prelink timeout #42

wants to merge 1 commit into from

Conversation

Zugschlus
Copy link

@hvhaugwitz hvhaugwitz added the enhancement New feature or request label Feb 14, 2021
@hvhaugwitz hvhaugwitz added this to the 0.18 milestone Feb 14, 2021
@Zugschlus
Copy link
Author

Have rebased PR on current master.

@Zugschlus
Copy link
Author

This patch does no longer apply, and frankly I cannot even make a match any more between the code that the patch is patching and the current file contents.

@hvhaugwitz hvhaugwitz removed this from the 0.18 milestone Nov 6, 2022
@hvhaugwitz
Copy link
Member

Prelink support has been removed from AIDE in 244deea. Hence I close this pull request.

@hvhaugwitz hvhaugwitz closed this Nov 6, 2022
@Zugschlus Zugschlus deleted the sf-22 branch November 7, 2022 11:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants