Dec. 26, 2019
8: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.