Trolling via PR, or is this just trolling trovalds? #1 Post by icbm504 » Tue, Jan 09, 2018, 12:29 PM UTC Trolling via PR, or is this just trolling trovalds?github.com