Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix: don't ignore the entry directory (fixes #12604) #12607
What is the purpose of this pull request? (put an "X" next to item)
[X] Bug fix: #12604
What changes did you make? (Give an overview)
This PR fixes #12604 as unignoring the entry directory.
I think that it's not intuitive if the
Actually, this change has pretty small impacts. When
Is there anything you'd like reviewers to focus on?