On 6 April 2017 at 19:45, Jean-Marc Lasgouttes <lasgout...@lyx.org> wrote:
> I did that. Please remove your own patch. > I've modified the CI job to not apply _your_ patch ;-) I've also started a new build, so in an hour or two we should see that it works. Thanks, /C