> If in doubt, leaving the patch as is would be fine with me.

The patch is O.K. as is, no need to export something so simple for a
single users. When the next user come along, we can reconsider.

       Andrew

Reply via email to