Subject: Re: bug#37884: 27.0.50; Cannot write to a file in VirtualBox shared directory

From: Eli Zaretskii <[email-masked]>
Date: Wed, 30 Oct 2019 18:25:31 +0200

> From: Robert Pluim <[email-masked]>
> Cc: Andreas Schwab <[email-masked]>,  [email-masked], [email-masked]
> Date: Wed, 30 Oct 2019 14:31:30 +0100
> 
> >>>>> On Wed, 30 Oct 2019 19:44:35 +1100, Bernardo <[email-masked]> said:
>     Bernardo> confirmed this patch works fine;
>     Bernardo> thanks for the effort (and persistence)
> 
> Thanks for testing. Eli, Andreas, let me know of any further issues,
> otherwise Iʼll push in the next couple of days.

Thanks.  I'd like to hear Paul's opinion on this change.  Paul, do you
see any downsides to the last change posted in this discussion?  IOW,
could there be some situations where it could do any harm?

TIA