On 21/09/2019 20:19, Robert Elz wrote:
Date: Sun, 22 Sep 2019 01:23:41 +0700 From: Robert Elz <kre%munnari.OZ.AU@localhost> Message-ID: <8235.1569090221%jinx.noi.kre.to@localhost> | we'd need it in all the other ports before it can be used in MD code. I meant MI code of course...
Sure. I was merely pointing out that it exists already. I'm happy to help adding it to other ports. Nick