Paul Eggert Tue, 13 Mar 2018 15:02:58 -0700
On 03/13/2018 02:34 PM, Rafal Luzynski wrote:
Please close this bug report
Thanks for checking; closing.