On Wed, May 06, 2020 at 04:59:23PM -0400, Perry Gagne wrote:
By the way, I'm not suggesting this is required or anything, if
people
dont think its a good idea to add a gitignore that would only help a few
people, then fine with me.
No such restrictions here... doesn't really matter how large of a
userbase is affected, if a change only improves the situation I don't
see a reason to reject it.
It's more just a suggested patch.
All patches are "suggested" when posted for review :).
-Ondrej