On 09/12/2018 05:20 PM, H.J. Lu wrote: > This is the patch I am going to check in. Nice commit message and ChangeLog entry, assuming that the lines with # survive the git comment filter. 8-) Thanks, Florian