Re: [PATCH] doc: Remove -mcet

[Jeff Law via Gcc-patches]

On 12/6/20 8:09 AM, H.J. Lu via Gcc-patches wrote:
> -mcet was removed by
>
> commit 231baae28ef7ff784683fa5a80df119da2b9a99b
> Author: H.J. Lu <hongjiu...@intel.com>
> Date:   Tue Apr 24 16:56:04 2018 +0000
>
>     x86/CET: Remove the -mcet command-lint option
>
>       PR target/98162
>       * doc/extend.texi: Remove -mcet.
OK
jeff