Benno Schulenberg authored 8 years ago

This fixes https://savannah.gnu.org/bugs/?48007

.
Tested-by: Rishabh Dave <rishabhddave@gmail.com>
Signed-off-by: Benno Schulenberg <bensberg@justemail.net>