22 Oct
2025
22 Oct
'25
4:51 p.m.
On Wed Oct 22 16:37:19 2025 +0000, Jacek Caban wrote:
It's no longer needed.
Ah right. Should I add it as a separate commit, regardless? It would still be useful later on.