W. Martin Borgert Thu, 30 Aug 2018 01:22:02 -0700
fixed 841468 12.3+git20170708-2 thanks Forgot to close the bug in yesterdays upload.
