On 03/06/2018 02:08, Philippe Mathieu-Daudé wrote: > Paolo, I guess this would be a good use of the > Based-on: 201204252110.20873.p...@codesourcery.com tag in > the git history :P
Oh, I see you did send it. Thanks! "Based-on" means that it applies to a tree with that patch. It doesn't mean that's the code you were looking at, when writing the patch. Thanks, Paolo
