10 Aug
2019
10 Aug
'19
8:39 p.m.
Ok, thanks for the tip. I guess I will post it on bpo once I will be back at the keyboard (in one week), so I could reply to the question and comments in timely manner. I had a quick look at JSONEncoder and it seems that a patch of the Python code will be sufficient, so I will probably post a PR as well (not as much as a request, but to use the GitHub PR features to let people comment on the proposal easily).