Kyle Meyer writes: > However, it seems unintended that with-demoted-errors would actually > error here now rather than give a warning; again, will need to take a > closer look.
The patch at <https://debbugs.gnu.org/54225> demotes the error to the intended warning.
