On Fri, Oct 20, 2017 at 07:55:17PM +0100, Paul Richard Thomas wrote: > > In the last hour, I have added fixes for PRs 82587 and 82589. Please > review them together with 82586. > > I will stop work on Gerhard's PDT bugs until this patch is committed. > Fortunately, Steve Kargl has proposed fixes for most of them :-) >
Looks good to me. Ok to commit. -- Steve
