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