13 Dec
2025
13 Dec
'25
10:09 a.m.
Sounds like we're converging on that compromise. Any objections to accepting the proposal with these provisions? - Deprecation would start whenever 9.14.2 comes out (probably not for some months) - the change would take effect with 9.16 in about six month If not, I'll take this as consensus by December 16. Jakob