Re: [PATCH V3]PR other/70268: map one directory name (old) to another (new) in __FILE__

[Hongxu Jia]

Ping, is that OK? Any suggestions?

//Hongxu

On 03/18/2016 01:16 PM, Hongxu Jia wrote:

Changed in V3:

- Rebase to latest master (efc86c4c627b82364f118a29b5d9d58cad8b8c76)

- Fix bad formatting (missing space before '(').

- Use of @code{} around literal source code text.

//Hongxu