Open Randomno opened 4 months ago
If this is not a difficult fix, it would be quite convenient.
Does upstream handle it? If not, I suggest requesting there, and we could copypaste the fix.
If this is not a difficult fix, it would be quite convenient.