-
Benno Schulenberg authored
This fixes https://savannah.gnu.org/bugs/?48125. (The fix is slightly wasteful; speeding things up will follow later.)
feacacc4
This fixes https://savannah.gnu.org/bugs/?48125. (The fix is slightly wasteful; speeding things up will follow later.)