5 Dec
2023
5 Dec
'23
11:03 a.m.
On Mon Dec 4 18:25:44 2023 +0000, Rémi Bernon wrote:
Same question, why is this "unstable" and how much of an issue is it?
Same answer as for pointer-constraints.