On 2017-11-27 17:34, Erik Rijkers wrote:
> 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).
0001-window-frame-v3-fixtags.diff
now attached, I hope...