On 21/09/2019 20:19, Robert Elz wrote:
Date: Sun, 22 Sep 2019 01:23:41 +0700 From: Robert Elz <k...@munnari.oz.au> Message-ID: <8235.1569090...@jinx.noi.kre.to>| 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
