On 07/25/2018 02:56 AM, Chris Hecker wrote: > Hopefully you guys want this patch and I can just port it to the master > branch and make a pull request, but if not, please let me know so I > don't waste a bunch of work. Yes, I still think this would be a good code cleanup.