On Thu, 03 Jan 2019 12:51:48 +0100, Martijn van Duren wrote: > On 1/3/19 11:08 AM, [email protected] wrote: > > Alright, these ones get rid of is_stdin altogether. Isn't it better this > > way? > > > Looks OK to me, anyone else want to OK this?
OK millert@ - todd
