Fri, 05 Jul 2024 00:21:47 +0200 | wenzelm | unused (see also c2f176a38448); | changeset | files |
Fri, 05 Jul 2024 00:18:51 +0200 | wenzelm | more robust message header: prefer explicit props_length/props_chunks over odd YXML.embed_controls; | changeset | files |