grizzlyuser <[email protected]> writes: > This seems to be related to http://savannah.gnu.org/bugs/?54857
Ah, right, clearly the same bug. I'm sorry for reporting a duplicate. (I went to https://www.gnu.org/software/librejs/ and searched for "bug" to see where to report bugs to, and there I only found this list mentioned, so that's why I did it by mail.)
