...and to 6-branch as revision 239741. Cheers
Paul On 24 August 2016 at 21:41, Paul Richard Thomas <paul.richard.tho...@gmail.com> wrote: > Dear Tobias, > > Committed to trunk as revision 239740. 6-branch to follow. > > Thanks for the review. > > Best regards > > Paul -- The difference between genius and stupidity is; genius has its limits. Albert Einstein