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 the crash repored in #1858 #1859

Merged
merged 4 commits into from
Nov 2, 2023
Merged

fix the crash repored in #1858 #1859

merged 4 commits into from
Nov 2, 2023

Conversation

243826
Copy link
Contributor

@243826 243826 commented Oct 23, 2023

The crash happens when the maven build dir is a softlink to another directory.

@243826
Copy link
Contributor Author

243826 commented Oct 24, 2023

@nedtwigg am i missing anything in this PR?

@243826 243826 force-pushed the main branch 2 times, most recently from 098fc6f to 8c9b9c1 Compare October 30, 2023 06:05
@nedtwigg nedtwigg enabled auto-merge November 2, 2023 00:41
@nedtwigg nedtwigg merged commit eb54d43 into diffplug:main Nov 2, 2023
11 checks passed
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