17 Oct
2025
17 Oct
'25
5:11 a.m.
On Fri Oct 17 04:22:02 2025 +0000, Zhiyi Zhang wrote:
Ok. I will remove it.
We can keep it if you like, what I'm saying is that particular value is not very useful.