On 10 January 2018 at 17:31, Alexey Veretennikov < alexey.veretenni...@gmail.com> wrote:
> Hi Elias, > > Could you please do you do what Juergen has requested so we can get the > changes in? > I can do it tomorrow. Basically all that is needed is to update the relevant files in the github repository to match what is needed to make it run, and then Jürgen will simply copy the files over. If you want, you can create a pull request for it. That way I don't have to re-merge the source files as I was doing it on a different computer previously. Otherwise, I'll do it as soon as I can get to that other machine. Regards, Elias
