30 Jul
2020
30 Jul
'20
11:04 a.m.
On Jul 30, 2020, at 10:00, Alessio Stalla <alessiostalla@gmail.com> wrote:
Correction: indeed it was merged, but I didn't go as far as to make closures serializable.
Any idea how much work for someone (i.e. me)to be able to serialize closures? Just a bit of elbow-grease, or major implementation? -- "A screaming comes across the sky. It has happened before but there is nothing to compare to it now."