[Bug target/71340] [RL78] -m64bit-doubles option is documented but not present

[olegendo at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71340

Oleg Endo <olegendo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kaushik.phatak@kpitcummins.
                   |                            |com

--- Comment #1 from Oleg Endo <olegendo at gcc dot gnu.org> ---
CCing the author of the patch.