Closed ghost closed 1 year ago
@tomschr if this goes beyond cosmetics, it might make sense to investigate this. But if the stuff does what it's supposed to or at least doesn't break anything, feel free to ignore and close.
Don't understand that. Seems not relevant anymore.
Some of the logic in trim-verbatim seems overly dense now, to the point where I do not get anymore why something has happened. Investigate this.