Weird problem

[David Malcolm]

On Tue, 2015-06-30 at 20:41 +0100, Dibyendu Majumdar wrote:
> On 30 June 2015 at 08:56, Dibyendu Majumdar <mobile@majumdar.org.uk> wrote:
> > Thanks, will test tonight.
> From: David Malcolm
> > Sent: ‎30/‎06/‎2015 03:24
> > Does the attached patch fix it for you?
> > (it's currently a bit of a hack; hope to get it more robust tomorrow)
> 
> 
> Hi Dave - yes that appears to have fixed the problem!

Excellent; thanks for checking it.

I'll try to cleanup the patch and get the fix into trunk and into 5.2.