26 Dec
2019
26 Dec
'19
3:31 p.m.
Well, Barnert, maybe you didn't understood my irony, so I speak more seriously.
This is extremely interesting, but **completely** OT.
We are discussing about the operator that potentially could merge in a future two `dict`s.
I think this is OT also for the mailing list... but I think you could at least separate this discussion in a separate thread. Can you, please?
Thanks in advance.