On 2017-11-27 16:01, Oliver Ford wrote:
Attached is it in bare diff form.
[0001-window-frame-v3.patch] Thanks, that did indeed fix it: make && make check now ok.There were errors in the doc build (unmatched tags); I fixed them in the attached doc-patch (which should go on top of yours).
(In very limited testing I did not find any problems yet) thanks, Erik Rijkers