Skip to content

Conversation

@gthess
Copy link
Member

@gthess gthess commented Mar 15, 2024

This was lingering on my local repository.
Not really needed with current hardware but it can save time for repeated builds while debugging.

@gthess gthess requested a review from wcawijngaards March 15, 2024 16:05
@gthess gthess self-assigned this Mar 15, 2024
Copy link
Member

@wcawijngaards wcawijngaards left a comment

Choose a reason for hiding this comment

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

This looks fine. Could be useful for debugging.

@gthess gthess merged commit 792089f into master Mar 15, 2024
@gthess gthess deleted the features/makedist-persist-windir branch March 15, 2024 16:22
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