-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Mon, Jun 20, 2016 at 12:52:47PM +0200, Ricardo Wurmus wrote:
[...] > Here is another proposal, mirroring what is done in “xml->sxml”: > Hey, thanks, Ricardo! Let me have a look at your patch and see whether I can wrap my head around it :-) I'll have some feedback this week, promised. Thanks a lot - -- tomás -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAldn0WYACgkQBcgs9XrR2kb2hACfX0seqPBw9iKBi5XlW/2aV32p ugoAnjiPPAq2M+uObdzsl0eIIwlMGVQJ =qQKG -----END PGP SIGNATURE-----
