[drop bug#14494 from CC:] On 05/29/2013 05:50 PM, Peter Rosin wrote: > On 2013-05-29 17:35, Stefano Lattarini wrote: >> On 05/29/2013 05:20 PM, Peter Rosin wrote: >>> On 2013-05-29 16:54, Stefano Lattarini wrote: >>>> What if you do something like: >>>> >>>> $EGREP "(^| )(rm|find):.*$distdir" output >>>> >>>> instead? >>> >>> Yup, that did it. Thanks! >>> >>> I'm pushing the following. >>> >> Nice, thank you. Now only bug#14499 remains to be addressed, right? >> Does the patch I sent fix the issue? > > bug#14501 also remains, > OK, but it is my understand that you already have a fix for it (the extra echo), and just need to wrap it in a proper patch, right?
> but neither fails on micro, and I'm currently > double-checking that no FAIL slipped through on micro. > Good thinking. > I'll go back to maint and master when that run has finished (cleanly). > Thank you. Regards, Stefano
