11 ms·
FWIW, I read the comment as suggesting it's sad that the rename is needed, rather than suggesting it's sad that the rename is happening.
by hvdijk 6y ago
FWIW, I read the comment as suggesting it's sad that the rename is needed, rather than suggesting it's sad that the rename is happening.