Todd C. Miller Fri, 21 Sep 2018 05:14:13 -0700
That syntax makes sense to be and I didn't notice any problems in the diff. OK millert@
- todd