On 5/20/19 10:11 AM, Andrew Burgess wrote: > > I'd be just as happy with this approach as with the patch I > suggested. I'd like Pedro's input given he wrote the original > terminal patch that exposed this issue. I'd like a chance to give my input too. :-) I'll take a look as soon as I have a chance. Thanks, Pedro Alves