On 02/09/2018 02:47 PM, Richard Biener wrote:
whitespace fixed here - vertical space missing before the comment and the first line of the comment (or cut&paste error with the patch?)
Pasto, or maybe I didn’t properly configure Vim on the machine I used. ;-) I’ll make sure these formatting issues are fixed before committing. Thanks!
-- Pierre-Marie de Rodat