https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119933
Robert Dubner <rdubner at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rdubner at gcc dot gnu.org
--- Comment #9 from Robert Dubner <rdubner at gcc dot gnu.org> ---
That file has been deleted. I neglected to do the PR[119933] convention in the
commit message. The commit is
https://gcc.gnu.org/cgit/gcc/commit/?id=2a77497339d230d6e02026851b1d9c31bcf031a8
