felix . winkelmann Sun, 27 Oct 2019 11:41:54 -0700
Hi! Very cool, Peter. Please let me have a look at this before we seriously consider adding the patch.
felix