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

Reply via email to