-
Benno Schulenberg authored
Searching for an empty string should be impossible, it should never happen, but it is bit too hard to verify this at the moment.
c42d6d37
Searching for an empty string should be impossible, it should never happen, but it is bit too hard to verify this at the moment.