Open zware opened 2 hours ago
8.6.15 was released on Sep 13, 2024
This is a minor feature, which does not need previous discussion elsewhere
No response
See also gh-124111.
zware
commented
2 hours ago zware
commented
2 hours ago
Proposal:
8.6.15 was released on Sep 13, 2024
Has this already been discussed elsewhere?
This is a minor feature, which does not need previous discussion elsewhere
Links to previous discussion of this feature:
No response
Linked PRs