Message319576
IMHO, the Glossary is just a quick & dirty reference. I wouldn't search for hard definitions in there. See Built-in Types: "dictionary" is used specifically for dict.
I believe we should make clear use of definitions so users known exactly what they get. I know there's a significant effort in reviewing and merging PRs; all I can say is that if the change is deemed reasonable, I can take the task of making this clear everywhere in the docs. |
|
Date |
User |
Action |
Args |
2018-06-15 02:45:53 | adelfino | set | recipients:
+ adelfino, barry, eli.bendersky, methane, ethan.furman, pablogsal |
2018-06-15 02:45:53 | adelfino | set | messageid: <1529030753.7.0.947875510639.issue33863@psf.upfronthosting.co.za> |
2018-06-15 02:45:53 | adelfino | link | issue33863 messages |
2018-06-15 02:45:53 | adelfino | create | |
|