Paul Eggert <eggert@cs.ucla.edu> writes:

> This seems to be due to commit 8b6d82d3ca86f76ed964063b3941a7c6ab0bf1c6 so I am 
> CC'ing Nicolas.

The version I should have committed also has issues. I reverted the
commit for now.

Nico