[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH, dejagnu] Log file renaming
|
From: |
Ben Elliston |
|
Subject: |
Re: [PATCH, dejagnu] Log file renaming |
|
Date: |
Sat, 11 Mar 2017 07:23:16 +1100 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Fri, Mar 10, 2017 at 02:57:45PM +0000, Thomas Preudhomme wrote:
> 2017-03-03 Thomas Preud'homme <address@hidden>
>
> * lib/remote.exp (remote_download): Add logging message when source
> and destination file differ in name.
This looks fine, thanks!
Cheers,
Ben