Re: [PATCH] Remove out-of-date comment

On 12/29/2017 01:01 AM, A. Skrobov wrote: > As of currently, `-fmessy-debugging` is not a valid option, nor is > `REG_USERVAR` looked at by the splitting logic. > > 2017-12-29 Artyom Skrobov tyomi...@gmail.com > > * web.c: Remove out-of-date comment Thanks. Committed. jeff

[PATCH] Remove out-of-date comment

As of currently, `-fmessy-debugging` is not a valid option, nor is `REG_USERVAR` looked at by the splitting logic. 2017-12-29 Artyom Skrobov tyomi...@gmail.com * web.c: Remove out-of-date comment --- gcc/web.c | 4 1 file changed, 4 deletions(-) diff --git a/gcc/web.c b/gcc/web.c index a642