4 Dec
2023
4 Dec
'23
8:09 p.m.
On Mon Dec 4 18:25:42 2023 +0000, Rémi Bernon wrote:
How "unstable" is this?
I would say the name is a little misleading, I think every application that does pointer constraints uses it.