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).
_______________________________________________
Python-ideas mailing list -- [email protected]
To unsubscribe send an email to [email protected]
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at 
https://mail.python.org/archives/list/[email protected]/message/DWJNV337G7MFXVSSU2XJKLYF3LV3PW2L/
Code of Conduct: http://python.org/psf/codeofconduct/

Reply via email to