Hugh Daschbach writes: > Michael Albinus writes: > >> Hugh Daschbach writes: >> >> Hi Hugh, >> >> Thanks for this. AFAICS, there's nothing left open for >> bug#43252; I'd >> like to close it. Is this OK for you? > > Yes. I was about to suggest this. The issue is resoled. Sigh. Forgot to attach new patches.