j
k
j a
j l
On Wed Oct 4 20:00:09 2023 +0000, Nikolay Sivov wrote:
We don't necessarily want or need it, no. I can remove it, if that's preferred.
Yes, I think we should remove 1/2 until we have evidence it's necessary.
Back to the thread
Back to the list