Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
File browser fixes: recursive filtering and removed duplicates. Fixed #3047 and #3180. #3184
Expanding directories wasn't completely recursive before and filtering couldn't detect correctly that subdirectories have children.
Fixed showing double intruments for Zyn by removing the following line that was added to enhance filtering recursively in 4206705: