Github user srowen commented on the issue:
    These aren't worth the time it takes us to review them and merge them, 
honestly. Little cleanup can be OK if it makes an appreciable difference in 
speed or readability, and if you can find many instances of the same issue.


To unsubscribe, e-mail:
For additional commands, e-mail:

Reply via email to