On 17/01/16 14:04, David Miller wrote: > Just let me include what you say in this email or put exactly this > text into that merge commit. > Thanks for explaining this, David. Next time I'll put in the git tag the same text as the email (I'll just drop references to patch numbers because those are not really useful in the git log). Cheers, -- Antonio Quartulli