Thanks for the tip! 2023年12月24日(日) 23:35 Jonathan Wakely <jwakely@redhat.com>: > This mailing list is for automated emails from our bug database, not > for reporting bugs directly. > > See https://gcc.gnu.org/bugs/ for how to report bugs, thanks. > > >