30 Jul
2020
30 Jul
'20
1:04 p.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."