-
Benno Schulenberg authored
(It may have been necessary in the past; there is no need for it now.) This fixes https://savannah.gnu.org/bugs/?48633.
faa46a3c
(It may have been necessary in the past; there is no need for it now.) This fixes https://savannah.gnu.org/bugs/?48633.