Post #1807966
2026-03-08 10:32 UTC
@paulvanderlaan @letterror @Bahman "final names" is a fine term. But to many (so far 75% in the poll) "production names" is synonymous to that.
Replies (1)
-
@paulvanderlaan@typo.social 2026-03-08 10:34
@justvanrossum @letterror @Bahman A good reason to use ”final names” perhaps. 😀