bug#65267: 30.0.50; modifying debug-ignored-errors during startup with --debug-init is broken

[Eli Zaretskii]

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: stepnem@smrk.net,  65267@debbugs.gnu.org,  npostavs@users.sourceforge.net
> Date: Thu, 17 Aug 2023 08:55:38 -0400
> 
> > What about the minor changes below?  They do seem to yield the
> > expected results in the original recipe.  The idea is to detect the
> > situation where the init file _added_ to the value of
> > debug-ignored-errors, and re-add the additions after loading the init
> > file.
> 
> No objection from me (it's not great, but I don't think there's a great
> solution).

Thanks.

Štěpán, would you mind testing the patch?  If it works for you, I will
install it.