➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author mark.dickinson
Recipients juraj.sukop, mark.dickinson, rhettinger, serhiy.storchaka, stutzbach
Date 2021-01-28.08:41:53
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1611823313.88.0.604242311805.issue43053@roundup.psfhosted.org>
In-reply-to
Content 
Thanks; I'll take a look at this at the weekend. Do you have a sketch of a proof of correctness available?
History
Date User Action Args
2021-01-28 08:41:53mark.dickinsonsetrecipients: + mark.dickinson, rhettinger, stutzbach, serhiy.storchaka, juraj.sukop
2021-01-28 08:41:53mark.dickinsonsetmessageid: <1611823313.88.0.604242311805.issue43053@roundup.psfhosted.org>
2021-01-28 08:41:53mark.dickinsonlinkissue43053 messages
2021-01-28 08:41:53mark.dickinsoncreate