Closed SteveJones closed 5 years ago
Sorry for being picky. We’ll be good to merge today I think. :-)
Fixed the remaining and merged manually as b59ad8636e649b6aa4466e4b050f0674fa94651d.
Missed a master change. Now fixed and force-pushed as 6dd031e49185ff8745dcfd93226a4d15fcc0fbc8.
Just a few style nitpicks inline. :-)