Board Thread:General Discussion/@comment-31497667-20170615172031/@comment-26318598-20170615172710

Just bother PR about it. I don't think the major community really cares. Getting tickets only takes like 3 days if you're really productive