#3 A few changes to gitignore handling
Merged by . Opened by bochecha.
Unknown source master

Download 3.patch
no initial comment

Hmm, this code has been merged, but the pull request wasn't closed.

"Could not determine if the PR can be merged"

Metadata