bug#17694: Less confident about this report

[Paul Eggert]

On 06/04/2014 01:00 PM, Robin Mills wrote:

Let's close this as “Not a bug: unable to reproduce”.

Thanks, closed.