Date: Sun, 22 Sep 2019 07:23:00 +0100 From: Nick Hudson <nick.hud...@gmx.co.uk> Message-ID: <793d2380-8d1a-78ab-3682-0468aea0d...@gmx.co.uk>
| I was merely pointing out that it exists already. Understood, and thanks - at a minimum that will avoid adding it with a different name. | I'm happy to help adding it to other ports. There's certainly no harm in that, for future use, but for right now there's no real need. kre